Skip to content
ci

Merge pull request #85 from leanprover-community/bump_to_v4.14.0-rc1 #361

Sign in to view logs

Merge pull request #85 from leanprover-community/bump_to_v4.14.0-rc1

Merge pull request #85 from leanprover-community/bump_to_v4.14.0-rc1 #361

Triggered via push November 4, 2024 00:57
@kim-emkim-em
pushed 4d58e47
main
Status Success
Total duration 3m 23s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in