[WIP] Move CI infrastructure to GitHub Actions #9282
Triggered via pull request
February 10, 2025 16:41
JCGoran
Status
Success
Total duration
12m 20s
Artifacts
–