prover: add ProcessorTable
#105
tcoratgertrunk-check.yaml
on: pull_request
Trunk Code Quality Runner
23s
Annotations
1 error
|
Trunk Code Quality Runner
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
trunk-annotations
|
588 Bytes |
|