Skip to content
Docker Image

Add z3 installation to dockerfile (#751) #149

Sign in to view logs

Add z3 installation to dockerfile (#751)

Add z3 installation to dockerfile (#751) #149

Triggered via push March 3, 2025 18:34
@fabianbs96fabianbs96
pushed d12fadf
development
Status Failure
Total duration 6h 0m 27s
Artifacts –

docker.yml

on: push
Push Docker image to multiple registries
6h 0m
Push Docker image to multiple registries
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Push Docker image to multiple registries
The job running on runner GitHub Actions 7 has exceeded the maximum execution time of 360 minutes.
Push Docker image to multiple registries
The operation was canceled.