Skip to content
ci

Merge pull request #91 from leanprover-community/bump_toolchain_v4.14.0 #387

Sign in to view logs

Merge pull request #91 from leanprover-community/bump_toolchain_v4.14.0

Merge pull request #91 from leanprover-community/bump_toolchain_v4.14.0 #387

Triggered via push December 2, 2024 00:22
@kim-emkim-em
pushed 68280da
main
Status Success
Total duration 3m 45s
Artifacts –

build.yml

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