Skip to content

Merge pull request #1293 from goblint/dependabot/github_actions/actio… #6953

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

Merge pull request #1293 from goblint/dependabot/github_actions/actio… #6953

Triggered via push December 15, 2023 10:23
Status Success
Total duration 23s
Artifacts

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in