Skip to content

[main]: update to Lean 4.13 #59

Sign in to view logs

[main]: update to Lean 4.13

[main]: update to Lean 4.13 #59

Triggered via dynamic November 11, 2024 06:00
@github-codespacesgithub-codespaces[bot]
⁠ 6320f47
Status Success
Total duration 16m 20s
Artifacts –

create_codespaces_prebuilds

on: dynamic
prebuild
16m 4s
prebuild
Fit to window
Zoom out
Zoom in