Skip to content
CI

Merge branch 'master' of github.com:lecopivo/SciLean #712

Sign in to view logs

Merge branch 'master' of github.com:lecopivo/SciLean

Merge branch 'master' of github.com:lecopivo/SciLean #712

Triggered via push December 2, 2024 19:20
@lecopivolecopivo
pushed 3ba66a9
master
Status Failure
Total duration 4m 40s
Artifacts –

main.yml

on: push
build
4m 30s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
lake test failed
build
Process completed with exit code 1.