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

Triggered via pull request July 13, 2024 22:12
@tatsuya6502tatsuya6502
synchronize #442
ci-aws-codebuild-arm64
Status Success
Total duration 1m 9s
Artifacts –

Kani.yml

on: pull_request
pre_job
4s
pre_job
run-kani
48s
run-kani
Fit to window
Zoom out
Zoom in