semgrep

Update CI workflows and opam lock file to match current master #14206

Sign in to view logs

Triggered via push May 7, 2026 11:02

Copilot

region-escape

Status Success

Total duration 36s

Artifacts –

semgrep.yml

on: push