Skip to content
Semgrep

Handle 'moved' events in serve_header.py #73

Sign in to view logs

Handle 'moved' events in serve_header.py

Handle 'moved' events in serve_header.py #73

Re-run triggered November 14, 2025 21:32
@nlohmannnlohmann
#4997
ssam18:fix-serve-header-move-events-issue-3659
Status Success
Total duration 6m 31s
Artifacts –

semgrep.yml

on: pull_request
Scan
27s
Scan
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Scan
Unexpected input(s) 'publishDeployment', 'generateSarif', valid inputs are ['entryPoint', 'args', 'config', 'publishToken']