Fix file+noindex URI usage on Windows #13107
Triggered via pull request
January 13, 2025 16:31
jasagredo
Status
Cancelled
Total duration
1m 41s
Artifacts
–
quick-jobs.yml
on: pull_request
Meta checks
1m 30s
Doctest Cabal
1m 31s
Check Field Syntax Reference
1m 29s
Check Release Project
1m 30s
Annotations
8 errors
|
Check Release Project
Canceling since a higher priority waiting request for 'refs/pull/10746/merge-Quick jobs' exists
|
|
Check Release Project
The operation was canceled.
|
|
Check Field Syntax Reference
Canceling since a higher priority waiting request for 'refs/pull/10746/merge-Quick jobs' exists
|
|
Check Field Syntax Reference
The operation was canceled.
|
|
Meta checks
Canceling since a higher priority waiting request for 'refs/pull/10746/merge-Quick jobs' exists
|
|
Meta checks
The operation was canceled.
|
|
Doctest Cabal
Canceling since a higher priority waiting request for 'refs/pull/10746/merge-Quick jobs' exists
|
|
Doctest Cabal
The operation was canceled.
|