Skip to content
update-semgrep-registry

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

Sign in to view logs

Merge pull request #40 from trailofbits/better-ci

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

Triggered via push January 2, 2024 14:40
@Vasco-jofraVasco-jofra
pushed 04b8335
main
Status Failure
Total duration 12s
Artifacts –

update-semgrep-registry.yml

on: push
Update semgrep.dev
1s
Update semgrep.dev
Fit to window
Zoom out
Zoom in

Annotations

1 error
Update semgrep.dev
Process completed with exit code 60.