Skip to content
semgrep

Merge branch 'priv-atomic' into priv-atomic-disjunctive #8940

Sign in to view logs

Merge branch 'priv-atomic' into priv-atomic-disjunctive

Merge branch 'priv-atomic' into priv-atomic-disjunctive #8940

Triggered via push January 25, 2024 15:24
@sim642sim642
pushed 228a0a8
priv-atomic-disjunctive
Status Success
Total duration 44s
Artifacts –

semgrep.yml

on: push
semgrep
32s
semgrep
Fit to window
Zoom out
Zoom in