blob: 02755e872de25275eb8ee3d0a390042b9572ad74 (
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
sudo apt install opam
etc/ci_opam_build.sh
|
