Skip to content
Back to pull request #3321

[WIP] Move CI infrastructure to GitHub Actions #9474

Sign in to view logs

[WIP] Move CI infrastructure to GitHub Actions

[WIP] Move CI infrastructure to GitHub Actions #9474

Code Coverage

Code Coverage
succeeded Feb 26, 2025 in 44m 10s