Build Dockerfile.nightly in build workflow (#734)

* Build Dockerfile.nightly in build workflow * Fix Dockerfile according to suggestions in issue 733, fix .dockerignore
rems-project · Oct 7, 2024 · 5df9e7f · 5df9e7f
1 parent 818e8c4
commit 5df9e7f
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 3 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -2,4 +2,5 @@
 *.md
 .gitignore
 .dockerignore
-Dockerfile
+Dockerfile*
+/.github
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -63,3 +63,13 @@ jobs:
       run: |
         eval $(opam env)
         etc/ci_core_tests.sh
+
+  build-docker:
+    runs-on: "ubuntu-latest"
+
+    steps:
+    - uses: actions/checkout@v3
+
+    - name: Build Dockerfile.nightly
+      run: |
+        docker build . -t sail -f ./Dockerfile.nightly --no-cache --progress plain
diff --git a/Dockerfile.nightly b/Dockerfile.nightly
@@ -11,6 +11,5 @@ WORKDIR /sail-src
 COPY . /sail-src
 
 # build
-RUN opam pin -y add sail $PWD
-
+RUN opam install --yes .
 ENTRYPOINT [ "/sail-src/docker_entry_point.sh" ]