Skip to content
Push

Mysqli: fix missing error for invalid mysqli_options() option #35689

Sign in to view logs

Mysqli: fix missing error for invalid mysqli_options() option

Mysqli: fix missing error for invalid mysqli_options() option #35689

Triggered via pull request January 19, 2026 03:22
@arshidkv12arshidkv12
synchronize #20971
arshidkv12:mysql-option
Status Cancelled
Total duration 35m 53s
Artifacts 1

push.yml

on: pull_request
ALPINE_X64_ASAN_UBSAN_DEBUG_ZTS
31m 49s
ALPINE_X64_ASAN_UBSAN_DEBUG_ZTS
LINUX_X32_DEBUG_ZTS
13m 7s
LINUX_X32_DEBUG_ZTS
WINDOWS_X64_ZTS
33m 34s
WINDOWS_X64_ZTS
BENCHMARKING
15m 40s
BENCHMARKING
FREEBSD
12m 20s
FREEBSD
Matrix: LINUX_X64
Matrix: MACOS_DEBUG_NTS
Fit to window
Zoom out
Zoom in

Annotations

7 errors
LINUX_X32_DEBUG_ZTS
Process completed with exit code 1.
LINUX_X64_RELEASE_NTS
Process completed with exit code 1.
WINDOWS_X64_ZTS
Process completed with exit code 1.
MACOS_ARM64_DEBUG_NTS
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 exists
LINUX_X64_DEBUG_ZTS_ASAN
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 exists
LINUX_X64_DEBUG_ZTS_ASAN
The operation was canceled.
Push
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 exists

Artifacts

Produced during runtime
Name Size Digest
profiles
9.36 MB
sha256:720d3dff9fd3168234aa7cdb1763bbd3d10d0758316811874020a8c389055127