Skip to content
Kani CI

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

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 #527

This job succeeded