Skip to content

Trigger CI for https://github.com/leanprover/lean4/pull/6411 #150315

Trigger CI for https://github.com/leanprover/lean4/pull/6411

Trigger CI for https://github.com/leanprover/lean4/pull/6411 #150315

Annotations

1 warning

Cancel Previous Runs (CI)

succeeded Dec 18, 2024 in 3s