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

Make simplification with TOP more aggressive

Make simplification with TOP more aggressive #1051

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

Check failure on line 13 in .github/workflows/rust.yml

View workflow run for this annotation

GitHub Actions / Continuous Integration

Invalid workflow file

The workflow is not valid. .github/workflows/rust.yml (Line: 13, Col: 5): Unexpected value 'include'
- os: windows-latest
vcpkgCommitId: 'c9f906558f9bb12ee9811d6edc98ec9255c6cda5'
- os: ubuntu-latest
vcpkgCommitId: 'c9f906558f9bb12ee9811d6edc98ec9255c6cda5'
- os: macos-latest
vcpkgCommitId: 'c9f906558f9bb12ee9811d6edc98ec9255c6cda5'
steps:
- uses: actions/[email protected]
- 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'
- name: Install MIRAI
run: |
cargo install --force --path ./checker