Expose port 80

Very important!
2022-07-23 11:24:12 +02:00 · 2022-07-23 11:24:12 +02:00 · bd8406a8d2
parent 8f8a0cf774
commit bd8406a8d2
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -12,4 +12,5 @@ COPY --from=opam /home/opam/unipi.spt /unipi.spt
 COPY --from=opam /home/opam/solo5-elftool /usr/local/bin/solo5-elftool
 COPY --from=opam /home/opam/solo5-spt /usr/local/bin/solo5-spt
 COPY entrypoint.sh /entrypoint.sh
+EXPOSE 80
 ENTRYPOINT ["/entrypoint.sh", "/unipi.spt"]