Skip to content

Merge pull request #188 from moves-rwth/176-make-pgc-work-with-arbitr… #513

Merge pull request #188 from moves-rwth/176-make-pgc-work-with-arbitr…

Merge pull request #188 from moves-rwth/176-make-pgc-work-with-arbitr… #513

Triggered via push February 16, 2025 13:37
Status Success
Total duration 2m 53s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
pre-commit
Cache not found for keys: precommit-efb880c8c0027b694fc6df38b859ff6f011d60196b1d09925909c2b42e68f0e6