Skip to content

Lab 2025 again

Lab 2025 again #1375

Triggered via pull request November 24, 2025 16:47
@NatKarmiosNatKarmios
synchronize #363
lab-2025
Status Cancelled
Total duration 27m 48s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: collections-c
Matrix: deploy-docs
Matrix: gillian_c2_tests
Matrix: gillian_c_tests
Matrix: gillian_js_tests
Matrix: test262
Matrix: docker-dist
Fit to window
Zoom out
Zoom in

Annotations

8 errors
docker-dist (gillian, wisl gillian-c gillian-js gillian-c2)
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c rsync -a --chmod=a+rx /_dist/ /usr/local && rm -rf /_dist" did not complete successfully: exit code: 127
docker-dist (gillian-extra)
The strategy configuration was canceled because "docker-dist.gillian_wisl_gillian-c_gi" failed
docker-dist (gillian-extra)
The operation was canceled.
docker-dist (wisl, wisl, 1)
The strategy configuration was canceled because "docker-dist.gillian_wisl_gillian-c_gi" failed
docker-dist (wisl, wisl, 1)
The operation was canceled.
test262 (ubuntu-latest)
The run was canceled by @NatKarmios.
test262 (ubuntu-latest)
The operation was canceled.
CI
The run was canceled by @NatKarmios.

Artifacts

Produced during runtime
Name Size Digest
GillianPlatform~Gillian~AH9JNT.dockerbuild
24.5 KB
sha256:9a6cd9a11fc64be2d4e14bf39b518ad8a4aa02b0b3653ac2b050c7e9d58c8265
api-docs
579 KB
sha256:614a5a779d7ef69295076c496d8342f10580019b9b36a79c46fbd399a2e40709
gillian-Linux
350 MB
sha256:718fe265dc9519bf8618befd155522b5197e49930e0789626d95fd65da848914
gillian-build-docker
2.77 GB
sha256:411f7f0eaee07e47f7c217ef7228531a158bd3d9f2205fb574a5bd09c92e88b3
gillian-macOS
285 MB
sha256:415f8fdc4f3ac9db7d59942e580ad38c169f9529e0c669770f3d6c412d7af0aa