docker

docker #1143

Triggered via schedule October 25, 2024 02:38

sim642

master

Status Success

Total duration 9m 21s

Artifacts 2

docker.yml

on: schedule

Produced during runtime

Name	Size
goblint~analyzer~38LTTN.dockerbuild	24.2 KB
goblint~analyzer~P1DKM0.dockerbuild	40.8 KB