CI: Update Linux cross compile tests (v0.11.x) #213

Sign in to view logs

Summary
Jobs
- run-kani
Run details
- Usage
- Workflow file

Triggered via pull request October 14, 2023 06:07

tatsuya6502

opened #335

ci-no-fail-fast-for-cross/v0.11.x

Status Success

Total duration 2m 2s

Artifacts –

Kani.yml

on: pull_request