Skip to content
Run Tests

Merge pull request #74 from leanprover-community/bump_to_v4.17.0 #292

Sign in to view logs

Merge pull request #74 from leanprover-community/bump_to_v4.17.0

Merge pull request #74 from leanprover-community/bump_to_v4.17.0 #292

Triggered via push March 3, 2025 14:51
@jcommelinjcommelin
pushed 54cec9d
v4.17.0
Status Success
Total duration 2m 40s
Artifacts –

ci.yml

on: push
test
2m 28s
test
Fit to window
Zoom out
Zoom in