Kani Format Check

testing support for ARM64 linux #255

Sign in to view logs

Triggered via push August 23, 2023 20:59

adpaco-aws

arm64-linux-support

Status Success

Total duration 4m 16s

Artifacts –

format-check.yml

on: push

Annotations

1 error

format-check

Process completed with exit code 123.