diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
new file mode 100644
index 0000000000..5bebc31fd9
--- /dev/null
+++ b/.github/workflows/nix.yml
@@ -0,0 +1,26 @@
+name: CI
+
+on:
+  push:
+  pull_request:
+
+# Restrict the GITHUB_TOKEN
+permissions: {}
+
+jobs:
+  check:
+    strategy:
+      matrix:
+        os:
+          - macos-latest
+          - ubuntu-22.04
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          persist-credentials: false
+      - uses: DeterminateSystems/nix-installer-action@main
+      - uses: DeterminateSystems/magic-nix-cache-action@main
+      - run: nix-shell --run 'make runtest-ci'
diff --git a/default.nix b/default.nix
index b8cc07982c..b0d4b045e0 100644
--- a/default.nix
+++ b/default.nix
@@ -24,6 +24,7 @@ let
       dolmen_loop
       camlzip
       ppx_deriving
+      stdcompat
     ];
   };
 
diff --git a/nix/sources.json b/nix/sources.json
index 6858698910..572e506544 100644
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -1,6 +1,6 @@
 {
     "dolmen": {
-        "branch": "master",
+        "branch": "b14eb8a2400c3dd2c34cded212c2135bbce1a57c",
         "description": "Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction",
         "homepage": "",
         "owner": "Gbury",
@@ -18,10 +18,10 @@
         "homepage": null,
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "4ee5b576ac2861a818950aea99f609d7a6fc02a3",
-        "sha256": "0jpnc718q3xgwx6l17qwkxgc5ya5zvbsy45p4rygk7riwn0y0qlx",
+        "rev": "e9f06adb793d1cca5384907b3b8a4071d5d7cb19",
+        "sha256": "0370pkzfcpm05q5m0llr52y8vb87smr6hdpcfs9m1gl1s7h3qlpd",
         "type": "tarball",
-        "url": "https://github.com/NixOS/nixpkgs/archive/4ee5b576ac2861a818950aea99f609d7a6fc02a3.tar.gz",
+        "url": "https://github.com/NixOS/nixpkgs/archive/e9f06adb793d1cca5384907b3b8a4071d5d7cb19.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
     "ocplib-simplex": {