docker

docker #1140

Triggered via schedule October 22, 2024 02:38

sim642

master

Status Success

Total duration 9m 10s

Artifacts 2

docker.yml

on: schedule

Produced during runtime

Name	Size
goblint~analyzer~RTEM2T.dockerbuild	39.8 KB
goblint~analyzer~UXPFAN.dockerbuild	25.2 KB