Skip to content

Drop the commit progress spinner, instead everything is handled under "solve" #8670

Drop the commit progress spinner, instead everything is handled under "solve"

Drop the commit progress spinner, instead everything is handled under "solve" #8670

Triggered via pull request August 21, 2024 21:55
Status Cancelled
Total duration 18s
Artifacts

verify.yml

on: pull_request
Target & Verify PR
10s
Target & Verify PR
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Target & Verify PR
Canceling since a higher priority waiting request for 'refs/pull/3459/merge' exists
Target & Verify PR
The operation was canceled.