formal: update #684
NikLebergCI.yml
on: pull_request
Collect Matrix Jobs
4s
Matrix: Build Stage 1 Images / build
Matrix: Build Stage 2 Images / build
Waiting for pending jobs
Matrix: Build Stage 3 Images / build
Waiting for pending jobs
Summarize
3s
Annotations
2 errors
|
Build Stage 1 Images / formal:2025-11-05
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c set -e\n wget --progress=dot:giga $Z3_RELEASE_URL -O z3.zip\n echo \"$Z3_SHA *z3.zip\" | sha1sum --check --strict -\n unzip z3.zip -d /opt/z3\n mv /opt/z3/z3-*/* /opt/z3/\n rm -r /opt/z3/z3-*\n" did not complete successfully: exit code: 8
|
|
Summarize
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
NikLeberg~container_builder~9WAVTE.dockerbuild
Expired
|
150 KB |
sha256:f2915126527f036ac5ff17be8633852b45b35756df7f1d9975cf50174b987a41
|
|
|
NikLeberg~container_builder~FA060X.dockerbuild
Expired
|
209 KB |
sha256:1b1054a29b241dfb636174695cc920beae3d2db1ec40c9889676d12930490f6b
|
|