Skip to content

fix: history/status endpoints #102

fix: history/status endpoints

fix: history/status endpoints #102

Workflow file for this run

name: Main workflow
on:
push:
pull_request:
branches:
- main
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
# - macos-latest
- ubuntu-latest
# - windows-latest
ocaml-compiler:
- 4.14.x
# - 4.08.x
# - 4.06.x
runs-on: ${{ matrix.os }}
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- name: Install project dependencies
run: opam install . --deps-only --with-doc --with-test
- name: Build the project
run: opam exec -- dune build @install
# TODO: Reenable this once we figure out how to get imandra server running in the CI.
# - name: Run tests
# run: opam exec -- dune runtest
# - name: Upload the build artifact
# uses: actions/upload-artifact@v2
# with:
# name: ${{ matrix.os }}-${{ matrix.ocaml-version }}-world.exe
# path: _build/default/world.exe