Skip to content

Updated Dockerfile for CI tests #477

Updated Dockerfile for CI tests

Updated Dockerfile for CI tests #477

# A dedicated workflow for building pull requests
name: docker-ci-for-pr
on:
pull_request:
branches:
- "develop"
jobs:
build-stdknl:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Build and push
uses: docker/build-push-action@v5
with:
context: .
file: developers/docker-ci/Dockerfile
push: false
build-args: |
SML=poly
Z3_VERSION=4.13.0
CVC_VERSION=5
BUILDOPTS=--stdknl -j2 -t
build-expk:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Build and push
uses: docker/build-push-action@v5
with:
context: .
file: developers/docker-ci/Dockerfile
push: false
build-args: |
SML=poly
Z3_VERSION=4.13.0
CVC_VERSION=5
BUILDOPTS=--expk -j2 -t
build-mosml:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Build and push
uses: docker/build-push-action@v5
with:
context: .
file: developers/docker-ci/Dockerfile
push: false
build-args: |
SML=mosml
BUILDOPTS=--expk --seq=tools/sequences/upto-parallel -t
build-otknl:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Build and push
uses: docker/build-push-action@v5
with:
context: .
file: developers/docker-ci/Dockerfile
push: false
build-args: |
SML=poly
Z3_VERSION=4.13.0
CVC_VERSION=5
BUILDOPTS=--otknl -j2 --seq=tools/sequences/upto-parallel