Skip to content

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

Mysqli: fix missing error for invalid mysqli_options() option

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

Triggered via pull request January 19, 2026 04:05
Status Cancelled
Total duration 1m 14s
Artifacts

push.yml

on: pull_request
ALPINE_X64_ASAN_UBSAN_DEBUG_ZTS
45s
ALPINE_X64_ASAN_UBSAN_DEBUG_ZTS
LINUX_X32_DEBUG_ZTS
45s
LINUX_X32_DEBUG_ZTS
WINDOWS_X64_ZTS
52s
WINDOWS_X64_ZTS
BENCHMARKING
44s
BENCHMARKING
FREEBSD
46s
FREEBSD
Matrix: LINUX_X64
Matrix: MACOS_DEBUG_NTS
Fit to window
Zoom out
Zoom in

Annotations

16 errors
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_X32_DEBUG_ZTS
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 exists
LINUX_X32_DEBUG_ZTS
A task was canceled.
BENCHMARKING
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 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/20971 exists
LINUX_X64_DEBUG_ZTS_ASAN
A task was canceled.
LINUX_X64_RELEASE_NTS
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 exists
LINUX_X64_RELEASE_NTS
A task was canceled.
ALPINE_X64_ASAN_UBSAN_DEBUG_ZTS
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 exists
ALPINE_X64_ASAN_UBSAN_DEBUG_ZTS
The operation was canceled.
FREEBSD
Canceling since a higher priority waiting request for Push-https://api.github.com/repos/php/php-src/pulls/20971 exists
FREEBSD
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/20971 exists
WINDOWS_X64_ZTS
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