Kani Format Check

CHANGELOG formatting: fix heading levels #172

Sign in to view logs

Triggered via push October 2, 2023 11:20

tautschnig

release-kani-0.38.0

Status Success

Total duration 3m 0s

Artifacts –

format-check.yml

on: push