Skip to content
Back to pull request #22895

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

Sign in to view logs

v: add selector option unwrapping on if != none

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

Triggered via pull request November 18, 2024 22:56
@felipenspfelipensp
synchronize #22895
felipensp:if_unwrap_option_selector
Status Success
Total duration 13m 7s
Artifacts –

wasm_backend_ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
test (windows-2022)
The following actions use a deprecated Node.js version and will be forced to run on node20: wasmerio/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (ubuntu-22.04)
The following actions use a deprecated Node.js version and will be forced to run on node20: wasmerio/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/