semgrep

Cleanup some `option` related code #12570

Sign in to view logs

Triggered via pull request July 31, 2025 08:20

michael-schwarz

synchronize #1689

option_cleanup

Status Success

Total duration 45s

Artifacts –

semgrep.yml

on: pull_request