Skip to content

Commit b4a1ed5

Browse files
authored
Update docker.yml
1 parent 7cfd8c4 commit b4a1ed5

1 file changed

Lines changed: 2 additions & 3 deletions

File tree

.github/workflows/docker.yml

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -37,12 +37,11 @@ jobs:
3737
- name: update
3838
run: opam update --yes
3939
- name: upgrade
40-
run: opam upgrade ostap --yes
40+
run: opam upgrade --yes
4141

4242
- name: List installed packages 2
4343
run: opam list
4444

4545
- run: eval $(opam env)
46-
# - run: opam exec -- dune build --profile=release
47-
- run: opam exec -- dune build
46+
- run: opam exec -- dune build --profile=release
4847
- run: opam exec -- dune test regression/ stdlib/regression

0 commit comments

Comments
 (0)