Skip to content

Use dartagnan 4.1.0 in container #348

Use dartagnan 4.1.0 in container

Use dartagnan 4.1.0 in container #348

Triggered via push May 17, 2024 13:24
Status Failure
Total duration 1m 54s
Artifacts
Matrix: build-and-push-docker-images
integration-tests
0s
integration-tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-and-push-docker-images (vsyncer, Dockerfile)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c cd /tmp && git clone --depth 1 --branch \"4.1.0\" https://github.com/hernanponcedeleon/dat3m.git" did not complete successfully: exit code: 128