diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 05263728..1fa91272 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -26,6 +26,6 @@ jobs:
     - run: opam pin -n .
     - run: opam depext -yt sidekick sidekick-base sidekick-bin
     - run: opam install -t . --deps-only
-    - run: opam exec -- dune build
-    - run: opam exec -- dune runtest
+    - run: opam exec -- dune build --ignore-promoted-rules
+    - run: opam exec -- dune runtest --ignore-promoted-rules
       if: ${{ matrix.os == 'ubuntu-latest'}}