docker

docker #1135

Triggered via schedule October 17, 2024 02:37

sim642

master

Status Success

Total duration 18m 10s

Artifacts 2

docker.yml

on: schedule

Produced during runtime

Name	Size
goblint~analyzer~7UIQFD.dockerbuild	26.7 KB
goblint~analyzer~8S2OYM.dockerbuild	65.7 KB