Skip to content

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

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

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

Triggered via push December 5, 2023 14:08
Status Success
Total duration 22s
Artifacts

options.yml

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