Skip to content
Regenerate Documentation

Bump the Lean versions in CI. #655

Sign in to view logs

Bump the Lean versions in CI.

Bump the Lean versions in CI. #655

Triggered via push October 18, 2025 15:18
@JulianJulian
pushed 029c4fb
main
Status Success
Total duration 53s
Artifacts –

docs.yml

on: push
docs
50s
docs
Fit to window
Zoom out
Zoom in