Jonas Platte fae75410a9

ci: Revert running CI on pushes to any branch ...

This cause PRs within the repo to run CI twice.

2021-08-05 21:00:07 +02:00

..

workflows

ci: Revert running CI on pushes to any branch

2021-08-05 21:00:07 +02:00

CODEOWNERS

Add state-res to CODEOWNERS

2021-05-27 15:20:42 +02:00