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

Make simplification with TOP more aggressive #1055

Make simplification with TOP more aggressive

Make simplification with TOP more aggressive #1055

Workflow file for this run

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
- 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