tracking/.github
Daniel Siepmann e1f3613bb2 Trigger CI on pull_request
Foreign contributions did not trigger the CI.
This change will trigger CI also on foreign contributions (PRs).
2022-08-05 21:11:42 +02:00
..
workflows Trigger CI on pull_request 2022-08-05 21:11:42 +02:00