Skip to content
Lean 4 CI

Don't use github cache for lean-action [annotate] #244

Sign in to view logs

Don't use github cache for lean-action [annotate]

Don't use github cache for lean-action [annotate] #244

Triggered via push October 28, 2024 12:35
@utensilutensil
pushed e9a5370
main
Status Success
Total duration 16m 42s
Artifacts –

lean4.yml

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