Skip to content

Commit 2cd2c02

Browse files
authored
Merge pull request #839 from Julow/ci-pin-ocsigenserver-master
CI: Pin latest version of ocsigenserver
2 parents 2ad591d + c5286af commit 2cd2c02

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

.github/workflows/workflow.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,9 +33,10 @@ jobs:
3333
ocaml-compiler: ${{ matrix.ocaml-compiler }}
3434
opam-pin: false
3535

36-
- run: opam install . --deps-only
36+
- run: opam pin -y git+https://github.com/ocsigen/ocsigenserver#master
37+
- run: opam install . --deps-only -y
3738

38-
- run: opam exec -- make all
39+
- run: opam exec -- dune build -p eliom
3940

4041
lint-fmt:
4142
runs-on: ubuntu-latest

0 commit comments

Comments
 (0)