Skip to content
Ruff

Merge pull request #1012 from sosy-lab/dependabot/github_actions/acti… #337

Sign in to view logs

Merge pull request #1012 from sosy-lab/dependabot/github_actions/acti…

Merge pull request #1012 from sosy-lab/dependabot/github_actions/acti… #337

Triggered via push March 7, 2024 07:58
@PhilippWendlerPhilippWendler
pushed 68de15e
main
Status Success
Total duration 20s
Artifacts –

ruff.yml

on: push
check
11s
check
Fit to window
Zoom out
Zoom in