Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Start Github Actions also for edited PRs (#2796) [ci fast]
* Start Github Actions also for edited PRs The PR action is not started automatically: #2781 It seems to be related to 6e23e03 Signed-off-by: Lehmann-Fabian <fabian.lehmann@informatik.hu-berlin.de>
- Loading branch information