Skip to content
CI

chore: Use Lean 4.16 #126

Sign in to view logs

chore: Use Lean 4.16

chore: Use Lean 4.16 #126

Triggered via push February 27, 2025 20:13
@seanmclseanmcl
pushed e1a1f2f
main
Status Success
Total duration 3m 4s
Artifacts –

ci.yml

on: push
build
2m 55s
build
Fit to window
Zoom out
Zoom in