-
Notifications
You must be signed in to change notification settings - Fork 4
37 lines (33 loc) · 990 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
36
37
name: CI
on:
workflow_dispatch:
inputs:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
run:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@master
- name: Setup z3
run: sudo apt-get -y install z3
- name: Setup Yices
run: sudo add-apt-repository ppa:sri-csl/formal-methods; sudo apt-get update; sudo apt-get install yices2
- name: Set up Julia latest version
uses: julia-actions/setup-julia@latest
- uses: julia-actions/cache@v2
- name: Run tests
uses: julia-actions/julia-buildpkg@v1
- uses: julia-actions/julia-runtest@v1
- uses: julia-actions/julia-processcoverage@v1
- name: Upload coverage reports to Codecov
uses: codecov/codecov-action@v4
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
with:
file: lcov.info # https://github.com/julia-actions/julia-processcoverage