Skip to content
Back to pull request #610

Moves all CI to GitHub Actions #10

Sign in to view logs

Moves all CI to GitHub Actions

Moves all CI to GitHub Actions #10

build

build
succeeded May 17, 2024 in 29s