Skip to content
Tests

Don't run pre-commit twice, it runs already in pre-commit.ci. #2124

Sign in to view logs

Don't run pre-commit twice, it runs already in pre-commit.ci.

Don't run pre-commit twice, it runs already in pre-commit.ci. #2124

Triggered via push November 25, 2023 00:42
@JulianJulian
pushed 2942996
main
Status Failure
Total duration 4m 3s
Artifacts –

ci.yml

on: push
lean3-version
3s
lean3-version
Matrix: ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
ci (ubuntu-latest, nightly, 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.