Skip to content
Lean 4 CI

Fix Verso path [annotate] #247

Sign in to view logs

Fix Verso path [annotate]

Fix Verso path [annotate] #247

Triggered via push October 28, 2024 13:26
@utensilutensil
pushed ce2a6e1
main
Status Success
Total duration 16m 54s
Artifacts –

lean4.yml

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