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

Make simplification with TOP more aggressive #1056

	name: Continuous Integration

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	jobs:
	mirai_on_mirai_windows:
	runs-on: windows-latest

	steps:
	- uses: actions/checkout@v3.5.2
	with:
	submodules: true
	- uses: lukka/get-cmake@latest
	- name: List $RUNNER_WORKSPACE before vcpkg is setup
	run: find $RUNNER_WORKSPACE
	shell: bash

	- name: Setup vcpkg
	uses: lukka/run-vcpkg@main
	id: runvcpkg
	with:
	# This one is not needed, as it is the default value anyway.
	# vcpkgDirectory: '${{ github.workspace }}/vcpkg'
	vcpkgJsonGlob: '**/cmakepresets/vcpkg.json'
	vcpkgCommitId: 'c9f906558f9bb12ee9811d6edc98ec9255c6cda5'

	- name: Install MIRAI
	run: \|
	cargo install --force --path ./checker

Provide feedback