[WIP] Move CI infrastructure to GitHub Actions #9474
Triggered via pull request
February 26, 2025 11:32
JCGoran
Status
Success
Total duration
44m 38s
Artifacts
–