Semgrep config

Add prometheus metrics to buffer-pool #2307

Sign in to view logs

Triggered via pull request January 15, 2026 19:39

synchronize #2303

sharrington22:sharrington/buffer-pool-metrics

Status Success

Total duration 59s

Artifacts –

semgrep.yml

on: pull_request