Kani Format Check

Fix setup for `aarch64-unknown-linux-gnu` platform #5451

Sign in to view logs

Triggered via pull request November 7, 2023 15:34

adpaco-aws

opened #2864

adpaco-aws:fix-setup-arm64

Status Success

Total duration 5m 2s

Artifacts –

format-check.yml

on: pull_request