diff --git a/.dockerignore b/.dockerignore index a06dd1db1..90814dd06 100644 --- 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 index ab9c72365..3a8b1dcea 100644 --- 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 index 7dee79349..c6cbb425a 100644 --- 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" ]