thuecat/.github/workflows
Daniel Siepmann 5e5c019704 Do not run CI on push
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.
2021-04-13 15:32:10 +02:00
..
ci.yaml Do not run CI on push 2021-04-13 15:32:10 +02:00