Skip to content
CI

update SciLean.lean #647

Sign in to view logs

update SciLean.lean

update SciLean.lean #647

Triggered via push September 6, 2024 16:46
@lecopivolecopivo
pushed 0f5b0f1
master
Status Failure
Total duration 1m 58s
Artifacts –

main.yml

on: push
build
1m 46s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.