Skip to content
Back to pull request #2304

reduce hr margin on side nav #1115

Sign in to view logs

reduce hr margin on side nav

reduce hr margin on side nav #1115

Run time

Learn about OS pricing on GitHub Actions
Job Run time
semgrep/ci
1m 12s
1m 12s