RFC: Marking return values as important (#[\NoDiscard]) #26314
Triggered via pull request
January 30, 2025 07:57
Status
Cancelled
Total duration
10m 28s
Artifacts
–
push.yml
on: pull_request
LINUX_X32_DEBUG_ZTS
10m 12s
WINDOWS_X64_ZTS
10m 11s
BENCHMARKING
10m 20s
FREEBSD
10m 7s
Matrix: LINUX_X64
Matrix: MACOS_DEBUG_NTS
Annotations
10 errors
FREEBSD
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/17599' exists
|
LINUX_X32_DEBUG_ZTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/17599' exists
|
WINDOWS_X64_ZTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/17599' exists
|
WINDOWS_X64_ZTS
The operation was canceled.
|
LINUX_X64_RELEASE_NTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/17599' exists
|
LINUX_X64_RELEASE_NTS
The operation was canceled.
|
MACOS_ARM64_DEBUG_NTS
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/17599' exists
|
BENCHMARKING
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/17599' exists
|
BENCHMARKING
The operation was canceled.
|
LINUX_X64_DEBUG_ZTS_ASAN
Canceling since a higher priority waiting request for 'Push-https://api.github.com/repos/php/php-src/pulls/17599' exists
|