John Hille

Results 14 comments of John Hille

With #22 and #23 now merged I think this issue can be closed with the next release.

@gaby I updated the `action/checkout` to v4 but it did not resolve the build issue.

This PR is arguably already a bit large and my experience with GitHub actions is fairly limited. If the CI needs significant rework anyway and as long as this PR...