Closed jgru closed 3 years ago
Dear Simson,
this adds a target to trigger Github actions on a PR.
Best regards Jan
Dear Simson,
this adds a target to trigger Github actions on a PR.
Best regards Jan