Skip to content

Bump Lean to v4.14.0-rc1 (#26) #34

Bump Lean to v4.14.0-rc1 (#26)

Bump Lean to v4.14.0-rc1 (#26) #34

Triggered via push November 5, 2024 03:00
Status Failure
Total duration 2m 45s
Artifacts

blueprint.yml

on: push

Annotations

1 error
Build project
Process completed with exit code 1.