diff options
| author | Alasdair | 2020-06-02 15:23:36 +0100 |
|---|---|---|
| committer | Alasdair | 2020-06-02 15:23:36 +0100 |
| commit | 62038e2448520ad8d1e352b1d5f9ca9dc7306364 (patch) | |
| tree | dab810f7007be1c2484e249e2a572c0351514373 /.github/workflows/ubuntu_18_04_build.yml | |
| parent | 4525d78142cba80c4f4daaeca79426368f26e77e (diff) | |
Add ubuntu 20.04 workflow
Diffstat (limited to '.github/workflows/ubuntu_18_04_build.yml')
| -rw-r--r-- | .github/workflows/ubuntu_18_04_build.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/ubuntu_18_04_build.yml b/.github/workflows/ubuntu_18_04_build.yml new file mode 100644 index 00000000..02755e87 --- /dev/null +++ b/.github/workflows/ubuntu_18_04_build.yml @@ -0,0 +1,18 @@ +name: CI ubuntu-18.04 + +on: [push] + +jobs: + build: + + runs-on: ubuntu-18.04 + + steps: + - uses: actions/checkout@v1 + - name: Build on ubuntu + run: | + sudo add-apt-repository ppa:avsm/ppa + sudo apt update + sudo apt install build-essential libgmp-dev z3 + sudo apt install opam + etc/ci_opam_build.sh |