Skip to content
check license, sources

build: add a retry on git push in merge-pr.sh #4441

Sign in to view logs

build: add a retry on git push in merge-pr.sh

build: add a retry on git push in merge-pr.sh #4441

Triggered via push January 22, 2025 12:52
@coriolinuscoriolinus
pushed ed6a8ab
main
Status Cancelled
Total duration 4s
Artifacts –

deny.yml

on: push
cargo-deny
0s
cargo-deny
Fit to window
Zoom out
Zoom in

Annotations

1 error
cargo-deny
Canceling since a higher priority waiting request for 'check license, sources-refs/heads/main' exists