Skip to content

Merge pull request #39 from elsoroka/dev #113

Merge pull request #39 from elsoroka/dev

Merge pull request #39 from elsoroka/dev #113

Workflow file for this run

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: Set up Julia latest version
uses: julia-actions/setup-julia@latest
- uses: julia-actions/cache@v1
- 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