Skip to content

Merge pull request #1028 from lorchrob/extensional-array-equality-fix #446

Merge pull request #1028 from lorchrob/extensional-array-equality-fix

Merge pull request #1028 from lorchrob/extensional-array-equality-fix #446

Workflow file for this run

name: Kind2 CI
on:
pull_request:
branches: [ develop ]
push:
branches: [ develop ]
jobs:
kind2-build:
strategy:
matrix:
os: [ ubuntu-20.04, macos-11 ]
ocaml-version: [ 4.09.1 ]
include:
- os: macos-11
pkg_update: brew update
z3_install: brew install z3
- os: ubuntu-20.04
pkg_update: sudo apt-get update -y
z3_install: sudo apt-get install -y z3
runs-on: ${{ matrix.os }}
steps:
- name: Checkout code
uses: actions/checkout@v3
#- name: Update package information
# run: ${{ matrix.pkg_update }}
- name: Set up OCaml ${{ matrix.ocaml-version }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-version }}
- name: Install Kind2 OCaml dependencies
run: opam install -y . --deps-only
- name: Build Kind2
run: opam exec make
- name: Install Z3
run: ${{ matrix.z3_install }}
- name: Install unit test dependencies
run: opam install ounit2
- name: Run ounit and regression tests
run: opam exec make test
- name: Upload kind2 artifact
if: github.event_name == 'push' && github.ref == 'refs/heads/develop'
uses: actions/upload-artifact@v3
with:
name: kind2-${{ matrix.os }}
path: bin/kind2