Semgrep config

Add prometheus metrics to buffer-pool #2306

Sign in to view logs

Triggered via pull request January 15, 2026 19:27

synchronize #2303

sharrington22:sharrington/buffer-pool-metrics

Status Success

Total duration 20s

Artifacts –

semgrep.yml

on: pull_request