docker #1055

Triggered via schedule July 30, 2024 02:21

sim642

master

Status Success

Total duration 12m 59s

Artifacts 2

docker.yml

on: schedule

Produced during runtime

Name	Size
goblint~analyzer~9PH4JG.dockerbuild	64.2 KB
goblint~analyzer~T1XOAV.dockerbuild	11.3 KB