Create workflow Kani Extra for checks that run conditionally on labels #5406
format-check.yml
on: pull_request
format-check
6s
clippy-check
5m 3s