Kani Format Check

Update toolchain to nightly-2024-11-26 #9014

Sign in to view logs

Triggered via pull request November 27, 2024 22:58

celinval

synchronize #3740

celinval:toolchain-2024-11-26

Status Success

Total duration 3m 20s

Artifacts –

format-check.yml

on: pull_request