-
Notifications
You must be signed in to change notification settings - Fork 0
35 lines (30 loc) · 939 Bytes
/
ci.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
# This is a basic workflow to help you get started with Actions
name: Continuous Integration
on:
push:
branches: [ '*' ]
pull_request:
branches: [ 'master' ]
jobs:
ci:
runs-on: ${{ matrix.os }}
if: github.repository == 'ml4ai/tomcat-planrec'
strategy:
matrix:
os: [ubuntu-22.04]
steps:
- uses: actions/checkout@v2
- name: Continuous Integration
run: |
# We download Boost 1.79 separately since apt does not have the minimum
# version of Boost we require (as of August 18th, 2022).
sudo ./scripts/install_boost_from_source
sudo ./scripts/install_z3_from_source
sudo apt-get update
sudo apt-get install -y graphviz libgraphviz-dev libpaho-mqtt-dev libpaho-mqttpp-dev libhiredis-dev
sudo ./scripts/install_redis_plus_plus_from_source
mkdir build
cd build
cmake ..
make -j
make test