Skip to content

Use dune's include stanza for generated tests #515

Use dune's include stanza for generated tests

Use dune's include stanza for generated tests #515

Workflow file for this run

name: Build
on:
push:
pull_request:
# Restrict the GITHUB_TOKEN
permissions: {}
env:
OCAML_DEFAULT_VERSION: 4.10.1
# Add OPAMYES=true to the environment, this is usefill to replace `-y` option
# in any opam call
OPAMYES: true
# Alt-Ergo's depext crashs with with-test flag to yes
# # The with-test flag is set to true to force installation of deps and
# # depext needed to run the alt-ergo tests
# OPAMWITHTEST: true
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
- macos-latest
- ubuntu-latest
ocaml-compiler:
- 4.10.1
runs-on: ${{ matrix.os }}
steps:
- name: Checkout
uses: actions/checkout@v3
with:
persist-credentials: false
- name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
dune-cache: true
- name: Install dependencies
run: opam exec -- make test-deps
- name: Build alt-ergo with opam
run: opam exec -- opam reinstall .
- name: Run tests
run: opam exec -- make runtest-ci
make:
name: Make all
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
persist-credentials: false
- name: Use OCaml ${{ env.OCAML_DEFAULT_VERSION }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ env.OCAML_DEFAULT_VERSION }}
dune-cache: true
- name: Install dependencies
run: opam exec -- make deps js-deps
- name: Run make
run: opam exec -- make
- name: Monitor changes
uses: getsentry/action-git-diff-suggestions@main
with:
message: 'The following changes have been made after `make`:'
make_release:
name: Make package release
runs-on: ubuntu-latest
if: github.event_name == 'pull_request' || github.ref == 'refs/heads/main' || github.ref == 'refs/heads/next'
steps:
- name: Checkout
uses: actions/checkout@v3
with:
persist-credentials: false
- name: Use OCaml ${{ env.OCAML_DEFAULT_VERSION }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ env.OCAML_DEFAULT_VERSION }}
dune-cache: true
- name: Install dependencies
run: opam exec -- make deps
- name: Run make install
run: opam exec -- make install