Skip to content
Check Proofs

update github action to also test on new lean version 4.14.0 #417

Sign in to view logs

update github action to also test on new lean version 4.14.0

update github action to also test on new lean version 4.14.0 #417

Triggered via push December 6, 2024 15:03
@awalterschulzeawalterschulze
pushed 4e4849c
main
Status Success
Total duration 8m 13s
Artifacts –

check_proofs.yml

on: push
build
8m 3s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636