Skip to content
Tests

Try splitting off the Lean 3 health check. #2030

Sign in to view logs

Try splitting off the Lean 3 health check.

Try splitting off the Lean 3 health check. #2030

Triggered via push October 16, 2023 20:57
@JulianJulian
pushed a1697a9
lean3-split
Status Failure
Total duration 2m 51s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
lean3-version
7s
lean3-version
pre-commit
27s
pre-commit
Matrix: ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
ci (ubuntu-latest, stable, leanprover-community/lean:3.51.1)
Process completed with exit code 2.
ci (ubuntu-latest, nightly, leanprover-community/lean:3.51.1)
Process completed with exit code 2.
ci (macos-latest, nightly, leanprover-community/lean:3.51.1)
Process completed with exit code 2.
ci (macos-latest, stable, leanprover-community/lean:3.51.1)
Process completed with exit code 2.