blob: ed3140bafbd729dcbfdb2d835150d818b28152ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
name: CI ubuntu-latest
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
|
