simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-29 21:04:53 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix ci for gh-pages

Browse source
This commit is contained in:
Simon Cruanes 2021-07-20 00:46:16 -04:00
parent 6f7f2b2823
commit eb23644195
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/gh-pages.yml vendored
View file

@ -26,7 +26,7 @@ jobs:
run: opam pin -n .
- name: Depext
run: opam depext -yt sidekick sidekick-arith
run: opam depext -yt sidekick sidekick-base
- name: Deps
run: opam install -d . --deps-only