feat(script): Verify checker labelling invariants (e.g., guideline:X
⇔ X:rule
, profile:default
⊆ profile:sensitive
⊆ profile:extreme
) with the label-tool
#3325
Job | Run time |
---|---|
1m 20s | |
13s | |
10m 41s | |
14m 39s | |
1m 11s | |
2m 2s | |
2m 3s | |
1m 45s | |
33m 54s |