Kani Format Check

Upgrade toolchain to `nightly-2024-07-01` #6996

Sign in to view logs

Triggered via pull request July 2, 2024 08:57

tautschnig

synchronize #3314

adpaco-aws:toolchain-upgrade-2024-07-01

Status Success

Total duration 2m 37s

Artifacts –

format-check.yml

on: pull_request