Kani Format Check

Upgrade rust toolchain to 2023-09-07 #5131

Sign in to view logs

Triggered via pull request September 7, 2023 13:48

tautschnig

opened #2743

tautschnig:toolchain-2023-09-07-manual

Status Success

Total duration 4m 6s

Artifacts –

format-check.yml

on: pull_request

Annotations

1 error

format-check

Process completed with exit code 123.