Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

nightly-2023-11-28 #1107

nightly-2023-11-28

nightly-2023-11-28 #1107

Workflow file for this run

name: Continuous Integration
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
clippy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run Clippy
run: |
cargo clippy --no-default-features --all-targets -- -D warnings
tests:
runs-on: macos-latest
env:
VCPKG_ROOT: ${{ github.workspace }}/vcpkg
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: vcpkg build z3
uses: johnwason/vcpkg-action@v5
id: vcpkg
with:
pkgs: z3
triplet: arm64-osx
cache-key: macos-latest
revision: master
token: ${{ github.token }}
extra-args: --clean-buildtrees-after-build
- name: Execute tests
run: |
cargo test --all -- --test-threads=1
env:
CARGO_INCREMENTAL: 0
RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Copt-level=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests"
# - name: Setup grcov
# run: |
# cargo install grcov
#
# - name: Run grcov
# run: |
# zip -0 cov.zip $(find . -name "mirai*.gc*" -print)
# grcov cov.zip -s . -t lcov --llvm --ignore-not-existing --ignore "/*" -o lcov.info
#
# - name: Upload coverage data to codecov.io
# uses: codecov/codecov-action@v3
# with:
# token: ${{ secrets.CODECOV_TOKEN }}
# files: "lcov.info"
mirai_on_mirai_ubuntu:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install MIRAI
run: |
cargo install --force --path ./checker
- name: Run MIRAI on MIRAI
run: |
cargo mirai --no-default-features