Skip to content
Tests

Also remove Lean 3 from the short instructions. #1974

Sign in to view logs

Also remove Lean 3 from the short instructions.

Also remove Lean 3 from the short instructions. #1974

Triggered via push August 4, 2023 10:17
@JulianJulian
pushed 682881d
main
Status Success
Total duration 2m 45s
Artifacts –

ci.yml

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