Skip to content
Tests

make -> just #2043

Sign in to view logs

make -> just

make -> just #2043

Triggered via push October 20, 2023 15:00
@JulianJulian
pushed d4913ee
main
Status Failure
Total duration 1m 16s
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
6s
lean3-version
pre-commit
37s
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.