diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 0b52307c6eae..2713a61cbcab 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -271,3 +271,11 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
       - uses: actions/checkout@v4
       - run: opam switch create . -y
+
+  build-microbench:
+    name: Build microbenchmarks
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: cachix/install-nix-action@v22
+      - run: nix develop .#microbench -c make dune build bench/micro
diff --git a/flake.nix b/flake.nix
index f2d6ccff3701..0021e8ed35ae 100644
--- a/flake.nix
+++ b/flake.nix
@@ -222,6 +222,15 @@
                 that can build Dune and the Coq testsuite.
               '';
             };
+          microbench = makeDuneDevShell {
+            extraBuildInputs = with pkgs.ocamlPackages; [
+              core_bench
+            ];
+            meta.description = ''
+              Provides a minimal shell environment that can build the
+              microbenchmarks.
+            '';
+          };
 
           scope = makeDuneDevShell {
             duneFromScope = true;