Skip to content
CI

chore: bump Lean to v4.9.0 (#119) #486

Sign in to view logs

chore: bump Lean to v4.9.0 (#119)

chore: bump Lean to v4.9.0 (#119) #486

Triggered via push July 8, 2024 00:23
@abdoo8080abdoo8080
pushed 91ac7f4
main
Status Success
Total duration 8m 13s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in