Skip to content
Publish Docker image

Publish Docker image #141

Sign in to view logs

Publish Docker image

Publish Docker image #141

Triggered via schedule July 14, 2024 01:32
@NikolajBjornerNikolajBjorner
⁠ 374609b
master
Status Success
Total duration 32m 31s
Artifacts 1

docker-image.yml

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

Artifacts

Produced during runtime
Name Size
Z3Prover~z3~VQSHFX.dockerbuild Expired
66.9 KB