Skip to content
Ruff

Merge pull request #982 from sosy-lab/witness-linter #184

Sign in to view logs

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

Merge pull request #982 from sosy-lab/witness-linter #184

Triggered via push December 11, 2023 09:01
@PhilippWendlerPhilippWendler
pushed 19a85ac
main
Status Success
Total duration 18s
Artifacts –

ruff.yml

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