docker

docker #1156

Triggered via schedule November 7, 2024 02:34

sim642

master

Status Success

Total duration 10m 35s

Artifacts 2

docker.yml

on: schedule

Produced during runtime

Name	Size
goblint~analyzer~73KJ1H.dockerbuild	26.3 KB
goblint~analyzer~OCCD5D.dockerbuild	40.5 KB