Skip to content
Kani CI

CI: Replace Cirrus CI with paid AWS CodeBuild for Linux arm64 testing #529

Sign in to view logs

CI: Replace Cirrus CI with paid AWS CodeBuild for Linux arm64 testing

CI: Replace Cirrus CI with paid AWS CodeBuild for Linux arm64 testing #529

This job succeeded