Skip to content
Build seaurchin-llvm binaries

Build seaurchin-llvm binaries #12

Sign in to view logs

Build seaurchin-llvm binaries

Build seaurchin-llvm binaries #12

Manually triggered December 4, 2024 18:53
@priyasiddharthpriyasiddharth
⁠ c420daf
dev-18
Status Failure
Total duration 2m 50s
Artifacts –

build-seaurchin-llvm-nightly.yml

on: workflow_dispatch
Prepare to build binaries
2m 40s
Prepare to build binaries
Build seaurchin-llvm Linux
0s
Build seaurchin-llvm Linux
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Prepare to build binaries
RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: CANCEL (err 8)
Prepare to build binaries
early EOF
Prepare to build binaries
fetch-pack: invalid index-pack output
Prepare to build binaries
unable to access 'https://github.com/seahorn/seaurchin-llvm/': The requested URL returned error: 502
Prepare to build binaries
unable to access 'https://github.com/seahorn/seaurchin-llvm/': The requested URL returned error: 502
Prepare to build binaries
The process '/usr/bin/git' failed with exit code 128