Skip to content
codeql

Merge pull request #59 from IntentProof/add-local-coverage-gate #18

Sign in to view logs

Merge pull request #59 from IntentProof/add-local-coverage-gate

Merge pull request #59 from IntentProof/add-local-coverage-gate #18

Run time

Learn about OS pricing on GitHub Actions
Job Run time
IntentProof Security: CodeQL Allowlist
3s
IntentProof Security: Secret Scan
5s
IntentProof Security: CodeQL (python)
1m 7s
1m 15s