From e90df644c45f455973be20b0aa8f9abc48aa1bfe Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 12 Oct 2021 22:46:41 -0400 Subject: [PATCH] chore: make CI ignore promotion rules --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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'}}