mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-18 00:26:43 -05:00
update CI
This commit is contained in:
parent
9c606fbe81
commit
afa725825a
2 changed files with 2 additions and 2 deletions
2
.github/workflows/gh-pages.yml
vendored
2
.github/workflows/gh-pages.yml
vendored
|
|
@ -26,7 +26,7 @@ jobs:
|
|||
run: opam pin -n .
|
||||
|
||||
- name: Depext
|
||||
run: opam depext -yt containers containers-data containers-thread
|
||||
run: opam depext -yt sidekick sidekick-arith
|
||||
|
||||
- name: Deps
|
||||
run: opam install -d . --deps-only
|
||||
|
|
|
|||
2
.github/workflows/main.yml
vendored
2
.github/workflows/main.yml
vendored
|
|
@ -20,7 +20,7 @@ jobs:
|
|||
with:
|
||||
ocaml-compiler: ${{ matrix.ocaml-compiler }}
|
||||
- run: opam pin -n .
|
||||
- run: opam depext -yt sidekick sidekick-bin
|
||||
- run: opam depext -yt sidekick sidekick-arith sidekick-bin
|
||||
- run: opam install -t . --deps-only
|
||||
- run: opam exec -- dune build
|
||||
- run: opam exec -- dune runtest
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue