10000 wip · boogie-org/lean-embedding@3f4cfc3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Lean Action CI

wip #29

Sign in to view logs

wip

wip #29

Triggered via push January 9, 2025 16:27
@KiiyyaKiiyya
pushed 3f4cfc3
dev
Status Failure
Total duration 1m 43s
Billable time 2m
Artifacts –

lean_action_ci.yml

on: push
build
1m 32s
build
Fit to window
Zoom out
Zoom in

Annotations

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