Skip to content

Merge pull request #1236 from SRetip/rename #38

Merge pull request #1236 from SRetip/rename

Merge pull request #1236 from SRetip/rename #38

Triggered via push March 22, 2024 13:45
Status Cancelled
Total duration 27m 53s
Artifacts
forward  /  build
0s
forward / build
Fit to window
Zoom out
Zoom in

Annotations

1 error
forward / build
Canceling since a higher priority waiting request for 'auto_pr_alpha_beta' exists