Skip to content
CI

Extend the stdlib #1103

Sign in to view logs

Extend the stdlib

Extend the stdlib #1103

Re-run triggered October 24, 2025 13:45
@denismerigouxdenismerigoux
#896
Status Failure
Total duration 2h 21m 27s
Artifacts –

harness.yml

on: pull_request_target
Build Catala and generate image
2h 21m
Build Catala and generate image
Run integrated tests
0s
Run integrated tests
Build examples and generate artifacts
0s
Build examples and generate artifacts
Builds and test the language server
0s
Builds and test the language server
Publish static content to github-pages
0s
Publish static content to github-pages
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build Catala and generate image
buildx failed with: ERROR: failed to solve: failed to push ghcr.io/catalalang/catala:nightly-11-g6ceef2c4: failed to copy: failed to do request: Put "https://ghcr.io/v2/catalalang/catala/blobs/upload/97664dd4-9643-44a0-ac84-191e08881c7d?digest=sha256%3A44908496a77d75aca0763723b54a5a1893ecf994580c240e8aaec9da1b99fd9f": write tcp 172.17.0.2:54342->140.82.121.33:443: write: broken pipe