Closed VinzenzBildstein closed 5 months ago
This now runs whenever changes are pushed to a repository. Will have to see what happens if multiple pushes are done before checking the automatically created pull requests.
This now runs whenever changes are pushed to a repository. Will have to see what happens if multiple pushes are done before checking the automatically created pull requests.