Skip to content
Tests

Split the switch tests for Lean 3, and add more Lean 4 switches for s… #2049

Sign in to view logs

Split the switch tests for Lean 3, and add more Lean 4 switches for s…

Split the switch tests for Lean 3, and add more Lean 4 switches for s… #2049

Triggered via push October 20, 2023 20:45
@JulianJulian
pushed d24fffc
main
Status Failure
Total duration 3m 1s
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
5s
lean3-version
pre-commit
32s
pre-commit
Matrix: ci
Fit to window
Zoom out
Zoom in

Annotations

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