Skip to content
Semgrep

[WIP][Prover] remove reference for parameters and return value for spec functions #40770

Sign in to view logs

[WIP][Prover] remove reference for parameters and return value for spec functions

[WIP][Prover] remove reference for parameters and return value for spec functions #40770

Triggered via pull request November 5, 2024 07:03
@rahxephon89rahxephon89
opened #15190
teng/fix-10784
Status Success
Total duration 30s
Artifacts –

semgrep.yaml

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