catala/.github/workflows/run-builds.yml
2022-05-30 15:51:26 +02:00

44 lines
1.1 KiB
YAML

name: Builds
on:
push:
branches: [master]
workflow_dispatch:
jobs:
build-ubuntu:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Set up OCaml
uses: avsm/setup-ocaml@v2
with:
ocaml-compiler: 4.11.x
dune-cache: true
- name: Install external dependencies
run: |
sudo apt-get update && sudo apt-get install python3-dev virtualenv \
python3-setuptools python3-pip python3-pygments man2html rsync \
colordiff npm nodejs libmpc-dev ninja-build pandoc
sudo python3 -m pip install --upgrade pip
sudo python3 -m pip install virtualenv
sudo make pygments
./french_law/python/setup_env.sh
- name: Install OCaml dependencies
run: |
make dependencies-ocaml-with-z3
- name: Make build
run: |
OCAMLRUNPARAM=b opam exec -- make build
build-nix-flake:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2.3.4
- uses: cachix/install-nix-action@v15
- run: nix build
- run: nix develop -c echo ok