Fix GH-13437: FPM: ERROR: scoreboard: failed to lock (already locked) #24415
Triggered via pull request
November 23, 2024 13:26
Status
Cancelled
Total duration
1m 1s
Artifacts
–
push.yml
on: pull_request
LINUX_X32_DEBUG_ZTS
28s
MACOS_DEBUG_NTS
40s
WINDOWS_X64_ZTS
28s
BENCHMARKING
27s
FREEBSD
0s
Matrix: LINUX_X64
Annotations
10 errors
|
BENCHMARKING
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/15805' exists
|
|
BENCHMARKING
The operation was canceled.
|
|
LINUX_X32_DEBUG_ZTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/15805' exists
|
|
WINDOWS_X64_ZTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/15805' exists
|
|
LINUX_X64_RELEASE_NTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/15805' exists
|
|
MACOS_DEBUG_NTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/15805' exists
|
|
LINUX_X64_DEBUG_ZTS_ASAN
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/15805' exists
|
|
LINUX_X64_DEBUG_ZTS_ASAN
A task was canceled.
|
|
FREEBSD
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/15805' exists
|
|
FREEBSD
A task was canceled.
|