Kani Format Check

Upgrade toolchain to 2024-11-01 #444

Sign in to view logs

Triggered via push November 1, 2024 11:07

tautschnig

toolchain-2024-11-01-manual

Status Success

Total duration 2m 40s

Artifacts –

format-check.yml

on: push