.github/workflows/macOS_build.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

name: CI macOS-latest

on: [push]

jobs:
  build:

    runs-on: macOS-latest

    steps:
    - uses: actions/checkout@v1
    - name: Build on macOS
      run: |
        brew install gpatch gmp z3 pkg-config
        brew install opam
        etc/ci_opam_build.sh