Skip to content

Merge pull request #40 from trailofbits/better-ci #6

Merge pull request #40 from trailofbits/better-ci

Merge pull request #40 from trailofbits/better-ci #6

Triggered via push January 2, 2024 14:40
Status Success
Total duration 18s
Artifacts
run semgrep rules format
7s
run semgrep rules format
Fit to window
Zoom out
Zoom in