Skip to content

Merge pull request #1285 from goblint/dependabot/github_actions/actio… #9206

Merge pull request #1285 from goblint/dependabot/github_actions/actio…

Merge pull request #1285 from goblint/dependabot/github_actions/actio… #9206

Triggered via push December 5, 2023 14:08
Status Success
Total duration 30m 56s
Artifacts 1

locked.yml

on: push
Matrix: extraction
Matrix: gobview
Matrix: regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
suite_result Expired
6.79 MB