mirror of
https://github.com/werkraum-media/thuecat.git
synced 2024-07-03 00:38:56 +02:00
Daniel Siepmann
5e5c019704
The steps are only necessary to check changes before merging. Everyone always creates pull requests. Therefore no need to run in push in addition to PR. |
||
|---|---|---|
| .. | ||
| workflows | ||