diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml
deleted file mode 100644
index 0be872d..0000000
--- a/.github/workflows/blank.yml
+++ /dev/null
@@ -1,36 +0,0 @@
-# This is a basic workflow to help you get started with Actions
-
-name: CI
-
-# Controls when the workflow will run
-on:
-  # Triggers the workflow on push or pull request events but only for the "main" branch
-  push:
-    branches: [ "main" ]
-  pull_request:
-    branches: [ "main" ]
-
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
-
-# A workflow run is made up of one or more jobs that can run sequentially or in parallel
-jobs:
-  # This workflow contains a single job called "build"
-  build:
-    # The type of runner that the job will run on
-    runs-on: ubuntu-latest
-
-    # Steps represent a sequence of tasks that will be executed as part of the job
-    steps:
-      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-      - uses: actions/checkout@v3
-
-      # Runs a single command using the runners shell
-      - name: Run a one-line script
-        run: dune clean; dune build @fmt; dune runtest
-
-      # Runs a set of commands using the runners shell
-      - name: Run a multi-line script
-        run: |
-          echo Add other actions to build,
-          echo test, and deploy your project.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2655ac4..19d0c73 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,8 +1,12 @@
 name: Builds, tests & co
 
 on:
-  pull_request:
+  # Triggers the workflow on push or pull request events but only for the "main" branch
   push:
+    branches: [ "dev", "ci" ]
+  pull_request:
+    branches: [ "dev", "ci" ]
+
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
@@ -12,26 +16,19 @@ jobs:
   build:
     strategy:
       fail-fast: false
-      matrix:
-        os:
-          - macos-latest
-          - ubuntu-latest
-        ocaml-compiler:
-          - "5.1"
 
-    runs-on: ${{ matrix.os }}
+    runs-on: self-hosted
 
     steps:
-      - name: Checkout tree
-        uses: actions/checkout@v4
+      - uses: actions/checkout@v4
 
       - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          ocaml-compiler: "5.1"
 
       - run: opam install . --deps-only --with-test
 
       - run: opam exec -- dune build
 
-      - run: opam exec -- dune runtest
\ No newline at end of file
+      - run: opam exec -- dune runtest
diff --git a/.gitignore b/.gitignore
index 4e037cc..9e6160c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,4 +8,4 @@ log*.smt2
 .vscode
 .DS_Store
 front_end_processed_output.log
-smt-encodings/*
+smt-encodings/*
\ No newline at end of file