mirror of
https://github.com/werkraum-media/thuecat.git
synced 2024-12-04 19:16:13 +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. |
||
---|---|---|
.. | ||
ci.yaml |