Skip to content
Lean 4 CI

Make basic math work #242

Sign in to view logs

Make basic math work

Make basic math work #242

Triggered via push October 27, 2024 13:59
@utensilutensil
pushed ba64d4d
main
Status Success
Total duration 3m 35s
Artifacts –

lean4.yml

on: push
Matrix: Lean 4 Projects
Fit to window
Zoom out
Zoom in