Skip to content

Update graded.lean

Update graded.lean #58

Triggered via push October 7, 2024 15:58
Status Failure
Total duration 37m 59s
Artifacts

blueprint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 255.