Skip to content

Commit 8332d98

Browse files
committed
add a formosa dockerfile
1 parent 0504c7f commit 8332d98

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

scripts/docker/Dockerfile.formosa

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# syntax = devthefuture/dockerfile-x
2+
3+
FROM ./Dockerfile.test as test-formosa
4+
5+
RUN \
6+
opam install --confirm-level=unsafe-yes jasmin && \
7+
opam clean

0 commit comments

Comments
 (0)