[WIP] Move CI infrastructure to GitHub Actions #9428
Triggered via pull request
February 11, 2025 17:55
JCGoran
Status
Success
Total duration
45m 50s
Artifacts
–