This repository has been archived by the owner on Jun 11, 2024. It is now read-only.
Introduce two new interfaces for SMT verification #209
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: PR CI | |
on: | |
pull_request: | |
branches: [ main ] | |
env: | |
CARGO_TERM_COLOR: always | |
jobs: | |
build: | |
runs-on: ${{ matrix.system.os }} | |
strategy: | |
matrix: | |
rust_version: | |
- stable | |
# - beta | |
node_version: [16, 18] | |
architecture: | |
- x64 | |
system: | |
- os: macos-12 | |
target: x86_64-apple-darwin | |
- os: ubuntu-20.04 | |
target: x86_64-unknown-linux-gnu | |
- os: windows-latest | |
target: x86_64-pc-windows-msvc | |
include: | |
- system: | |
os: | |
- self-hosted | |
- macOS | |
- ARM64 | |
target: aarch64-apple-darwin | |
node_version: 16 | |
architecture: arm64 | |
rust_version: stable-aarch64-apple-darwin | |
- system: | |
os: | |
- self-hosted | |
- macOS | |
- ARM64 | |
target: aarch64-apple-darwin | |
node_version: 18 | |
architecture: arm64 | |
rust_version: stable-aarch64-apple-darwin | |
steps: | |
- name: Set LIBCLANG_PATH | |
run: echo "LIBCLANG_PATH=$((gcm clang).source -replace "clang.exe")" >> $env:GITHUB_ENV | |
if: matrix.config.os == 'windows-latest' | |
- uses: actions/checkout@v3 | |
- uses: actions/setup-node@v3 | |
with: | |
node-version: ${{ matrix.node_version }} | |
architecture: ${{ matrix.architecture }} | |
- uses: actions-rs/toolchain@v1 | |
with: | |
profile: minimal | |
toolchain: ${{ matrix.rust_version }} | |
override: true | |
- name: Install modules | |
run: yarn install --ignore-scripts | |
- name: Compile | |
run: yarn run build-release | |
- name: Install rustfmt component | |
run: rustup component add rustfmt | |
- name: Run rust fmt checker | |
run: yarn run rust:fmt | |
- name: Install clippy component | |
run: rustup component add clippy | |
- name: Run clippy as a linter checker | |
run: yarn run rust:clippy | |
- name: Run rust tests | |
run: yarn run test:rust | |
- name: Run node.js tests | |
run: yarn run test:node | |
- name: Check test coverage | |
if: ${{ contains(matrix.system.os, 'ubuntu') && matrix.node_version == '18' | |
&& matrix.rust_version == 'stable' && github.base_ref != '' }} | |
uses: anuraag016/[email protected] | |
with: | |
fullCoverageDiff: false | |
delta: 0.2 | |
afterSwitchCommand: yarn install --ignore-scripts && yarn run build-release |