Skip to content
Lean 4 CI

Test Verso Markdown support #241

Sign in to view logs

Test Verso Markdown support

Test Verso Markdown support #241

Triggered via push October 27, 2024 13:27
@utensilutensil
pushed 9dae348
main
Status Success
Total duration 3m 26s
Artifacts –

lean4.yml

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