Skip to content
Kani Format Check

Also drop unit test of our stub that uses ToBitMask #213

Sign in to view logs

Also drop unit test of our stub that uses ToBitMask

Also drop unit test of our stub that uses ToBitMask #213

Triggered via push December 4, 2023 22:57
@tautschnigtautschnig
pushed ba6b95e
toolchain-2023-12-03-manual
Status Success
Total duration 2m 4s
Artifacts –

format-check.yml

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