chore: CI: use large runners on Windows

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.82k stars 325 forks source link

Closed Kha closed 2 weeks ago

leanprover-community-mathlib4-bot commented 2 weeks ago

Mathlib CI status (docs):

❗ Std/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase bc233831945b168861e5720b37d5938ea21bb7f5 --onto 806e41151b6eb645e4ed5a40915b94b99f933564. (2024-05-02 10:23:41)

Kha commented 2 weeks ago

A first test for making the merge queue faster; Linux Debug would be the next target but there may be various other ways to attack that one