Kani Format Check

Merge remote-tracking branch 'origin/main' into fix-3101 #325

Sign in to view logs

Triggered via push June 10, 2024 09:46

tautschnig

fix-3101

Status Success

Total duration 2m 46s

Artifacts –

format-check.yml

on: push