Skip to content
Ruff

Merge pull request #970 from sosy-lab/witness-linter #147

Sign in to view logs

Merge pull request #970 from sosy-lab/witness-linter

Merge pull request #970 from sosy-lab/witness-linter #147

Triggered via push November 20, 2023 10:05
@PhilippWendlerPhilippWendler
pushed c48e5a3
main
Status Success
Total duration 19s
Artifacts –

ruff.yml

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