Kani Format Check

install_cbmc.sh: build from source on non-x86_64 #5490

Sign in to view logs

Re-run triggered November 17, 2023 14:42

adpaco-aws

#2877

bennofs:install-other-arch

Status Success

Total duration 2m 22s

Artifacts –

format-check.yml

on: pull_request