Kani Format Check

Merge branch 'main' into update-toolchain-2023-09-23 #182

Sign in to view logs

Triggered via push October 4, 2023 21:37

tautschnig

update-toolchain-2023-09-23

Status Success

Total duration 2m 57s

Artifacts –

format-check.yml

on: push