blob: ada366b42b4c7d8e2102c6db2046cce9cc8f9d9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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 m4
sudo apt install opam
etc/ci_opam_build.sh
|
