Skip to content
continuous integration (mathlib forks)

Trigger CI for https://github.com/leanprover/lean4/pull/6211 #164225

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/6211 #164225

Annotations

1 warning

Cancel Previous Runs (CI)

Cancel Previous Runs (CI)
succeeded Jan 5, 2025 in 2s