Skip to content
Publish Docker image

Publish Docker image #139

Sign in to view logs

Publish Docker image

Publish Docker image #139

Triggered via schedule June 30, 2024 01:31
@NikolajBjornerNikolajBjorner
⁠ b2b3bab
master
Status Success
Total duration 31m 43s
Artifacts 1

docker-image.yml

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

Artifacts

Produced during runtime
Name Size
Z3Prover~z3~PIDE9Y.dockerbuild Expired
68.2 KB