Skip to content
Lean 4 CI

Fix filter glob #250

Sign in to view logs

Fix filter glob

Fix filter glob #250

Triggered via push October 28, 2024 15:51
@utensilutensil
pushed 2e3c15c
main
Status Success
Total duration 18m 6s
Artifacts –

lean4.yml

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