Skip to content
Publish Docker image

Publish Docker image #145

Sign in to view logs

Publish Docker image

Publish Docker image #145

Triggered via schedule August 11, 2024 01:32
@NikolajBjornerNikolajBjorner
⁠ 3e518b9
master
Status Success
Total duration 33m 41s
Artifacts 1

docker-image.yml

on: schedule
Push Docker image to GitHub Docker registry
33m 31s
Push Docker image to GitHub Docker registry
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Z3Prover~z3~35SVRC.dockerbuild
67.9 KB