Skip to content
Kani Format Check

Fix TestLocalToolchain jobs for release push #283

Sign in to view logs

Fix TestLocalToolchain jobs for release push

Fix TestLocalToolchain jobs for release push #283

Triggered via push April 5, 2024 20:12
@tautschnigtautschnig
pushed 69ff979
fix-release-test-job
Status Success
Total duration 2m 9s
Artifacts –

format-check.yml

on: push
format-check
6s
format-check
clippy-check
1m 56s
clippy-check
Fit to window
Zoom out
Zoom in