docker #1112

Triggered via schedule September 24, 2024 02:36

sim642

master

Status Success

Total duration 7m 53s

Artifacts 2

docker.yml

on: schedule

Produced during runtime

Name	Size
goblint~analyzer~I00CW2.dockerbuild	10.4 KB
goblint~analyzer~NEUIGG.dockerbuild	39.8 KB