Skip to content
Publish Docker image

Publish Docker image #150

Sign in to view logs

Publish Docker image

Publish Docker image #150

Triggered via schedule September 15, 2024 01:32
@NikolajBjornerNikolajBjorner
⁠ 99a9a4a
master
Status Success
Total duration 33m 34s
Artifacts 1

docker-image.yml

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

Artifacts

Produced during runtime
Name Size
Z3Prover~z3~S8CMRP.dockerbuild
68 KB