docker

Merge branch 'v2.4.x' #1059

Triggered via push August 2, 2024 11:43

sim642

v2.4.0

Status Success

Total duration 13m 5s

Artifacts 2

docker.yml

on: push

Produced during runtime

Name	Size
goblint~analyzer~5EMYC2.dockerbuild Expired	60 KB
goblint~analyzer~Y5URDU.dockerbuild Expired	11 KB