mirror of
https://github.com/werkraum-media/thuecat.git
synced 2024-11-13 00:36:12 +01: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 | ||