Kani Format Check

Automatic toolchain upgrade to nightly-2023-10-17 #5369

Sign in to view logs

Triggered via pull request October 18, 2023 10:23

reopened #2825

toolchain-2023-10-17

Status Success

Total duration 5m 2s

Artifacts –

format-check.yml

on: pull_request