Skip to content
Kani Format Check

Fix Docker as well #356

Sign in to view logs

Fix Docker as well

Fix Docker as well #356

Triggered via push June 21, 2024 14:09
@tautschnigtautschnig
pushed e6b6d4d
pip-for-3.7
Status Success
Total duration 1m 58s
Artifacts –

format-check.yml

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