simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: make CI ignore promotion rules

Browse source
This commit is contained in:
Simon Cruanes 2021-10-12 22:46:41 -04:00
parent 3d17feab12
commit e90df644c4
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/main.yml vendored
View file

@ -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'}}