Skip to content
Semgrep

[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

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

semgrep.yaml

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