v: add selector option unwrapping on if != none
#18781
Triggered via pull request
November 18, 2024 12:23
Status
Success
Total duration
4h 44m 58s
Artifacts
–
other_ci.yml
on: pull_request
prevent-gpl-licenses
8s
code-formatting
1m 27s
performance-regressions
4m 12s
misc-tooling
2m 2s
parser-silent
8m 26s