Skip to content

Commit a6da0cc

Browse files
committed
Trying to fix docker build
Signed-off-by: Kakadu <[email protected]>
1 parent 4eca936 commit a6da0cc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/docker.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ jobs:
1313
runs-on: ubuntu-24.04
1414
container:
1515
image: kakadu18/ocaml:lama
16-
#options: --user user
16+
options: --user opam
1717

1818
steps:
1919
- run: opam --version

0 commit comments

Comments
 (0)