Commit Graph
1 Commits
Author SHA1 Message Date
Dirk Wetter fbe04164d3 Also run GHA for PRs
(don't know whether this works.)
2021-12-11 19:40:29 +01:00