Skip to content
Kani Format Check

Merge remote-tracking branch 'origin/main' into update-toolchain #183

Sign in to view logs

Merge remote-tracking branch 'origin/main' into update-toolchain

Merge remote-tracking branch 'origin/main' into update-toolchain #183

Triggered via push October 4, 2023 21:49
@tautschnigtautschnig
pushed 44eee0d
update-toolchain
Status Success
Total duration 5m 8s
Artifacts –

format-check.yml

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