Skip to content
Kani Format Check

[Draft] Introduce global conditions with support for fail_uncoverable (new condition) and should_panic (rework) #5856

Sign in to view logs

[Draft] Introduce global conditions with support for fail_uncoverable (new condition) and should_panic (rework)

[Draft] Introduce global conditions with support for fail_uncoverable (new condition) and should_panic (rework) #5856

Triggered via pull request January 10, 2024 23:10
@adpaco-awsadpaco-aws
synchronize #2532
adpaco-aws:fail-uncoverable
Status Success
Total duration 2m 6s
Artifacts –

format-check.yml

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