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

Nightly-2023-09-24 #1096

	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

Provide feedback