Fix GH-18634: Show warning when saving session if a pipe character is used in one of the $_SESSION keys #28959
push.yml
on: pull_request
LINUX_X32_DEBUG_ZTS
11m 41s
WINDOWS_X64_ZTS
26m 5s
BENCHMARKING
17m 39s
FREEBSD
12m 46s
Matrix: LINUX_X64
Matrix: MACOS_DEBUG_NTS
Annotations
5 errors
|
WINDOWS_X64_ZTS
The operation was canceled.
|
|
WINDOWS_X64_ZTS
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/18653 exists
|
|
Push
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/18653 exists
|
|
LINUX_X64_DEBUG_ZTS_ASAN
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/18653 exists
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
profiles
Expired
|
9.21 MB |
sha256:2a7562a3fe7a8fe93fea71f6b26e7f391128a4864eab8969a372d55f5e254c9b
|
|