Closed m-kuhn closed 3 years ago
This is already in #38 and actually duplicates #41 as I realize now :laughing: Merging it will speed up #38 since workflows will be triggered automatically as soon as any PR has been merged.
This is already in #38 and actually duplicates #41 as I realize now :laughing: Merging it will speed up #38 since workflows will be triggered automatically as soon as any PR has been merged.