Skip to content
Semgrep

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

Sign in to view logs

[Prover] add support of abort in spec function

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

Triggered via pull request October 16, 2024 03:50
@rahxephon89rahxephon89
auto_merge_enabled #14939
teng/fix-14793
Status Success
Total duration 28s
Artifacts –

semgrep.yaml

on: pull_request
semgrep/ci
19s
semgrep/ci
Fit to window
Zoom out
Zoom in