Skip to content
Tools CI

v: add selector option unwrapping on if != none #3204

Sign in to view logs

v: add selector option unwrapping on if != none

v: add selector option unwrapping on if != none #3204

Triggered via pull request November 18, 2024 20:43
@felipenspfelipensp
synchronize #22895
felipensp:if_unwrap_option_selector
Status Cancelled
Total duration 2h 13m 38s
Artifacts –

tools_ci.yml

on: pull_request
ubuntu-docker-musl
0s
ubuntu-docker-musl
Matrix: linux
Matrix: macos
Matrix: windows
Fit to window
Zoom out
Zoom in

Annotations

8 errors
linux (clang)
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists
linux (gcc)
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists
linux (tcc)
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists
macos (clang)
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists
ubuntu-docker-musl
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists
windows (gcc)
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists
windows (msvc)
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists
windows (tcc)
Canceling since a higher priority waiting request for 'Tools CI-refs/pull/22895/merge' exists