From 99a7b55fef9b5b65c6e700177b798020e14f8190 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Fri, 28 Feb 2025 18:21:16 +0300 Subject: [PATCH] Add docker CI Signed-off-by: Kakadu --- .github/workflows/docker.yml | 39 ++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 .github/workflows/docker.yml diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml new file mode 100644 index 000000000..ba2be1ea1 --- /dev/null +++ b/.github/workflows/docker.yml @@ -0,0 +1,39 @@ +name: Build in docker +on: + push: + branches: + - '1.30' + - 'i686-cross' + +jobs: + build: + env: + #OCANREN_STATS: yes + # enabling stats required extra link library + OCANREN_DOCS: yes + OPAMROOT: /home/user/.opam + + runs-on: ubuntu-24.04 + container: + image: kakadu18/ocaml:lama + options: --user user + + steps: + - run: opam --version + - run: opam exec -- ocamlopt --version + + - name: Cancel Previous Runs + uses: styfle/cancel-workflow-action@0.11.0 + with: + access_token: ${{ github.token }} + + - name: Checkout code + uses: actions/checkout@v4 + + - run: opam install . --yes --deps-only --with-test --with-doc + + - name: List installed packages + run: opam list + + - run: opam exec -- dune build --profile=release + - run: opam exec -- dune test regression/ stdlib/regression