docker

docker #1178

Manually triggered November 26, 2024 12:49

sim642

svcomp25

Status Success

Total duration 3m 51s

Artifacts 2

docker.yml

on: workflow_dispatch

1 warning

svcomp25 is not a valid semver. More info: https://semver.org/

Produced during runtime

Name	Size
goblint~analyzer~L1WVC4.dockerbuild	26 KB
goblint~analyzer~NYSHI9.dockerbuild	41.5 KB