Kani Format Check

Upgrade toolchain to 2024-10-30 #8665

Sign in to view logs

Triggered via pull request October 30, 2024 10:27

tautschnig

opened #3661

tautschnig:toolchain-2024-10-30-manual

Status Success

Total duration 3m 27s

Artifacts –

format-check.yml

on: pull_request