Skip to content
Back to pull request #14939

[Prover] add support of abort in spec function #39049

Sign in to view logs

[Prover] add support of abort in spec function

[Prover] add support of abort in spec function #39049

Run time

Learn about OS pricing on GitHub Actions
Job Run time
semgrep/ci
24s
24s