![]() # Objective The required miri check is currently failing due to rust-lang/miri#4323 Let's pin nightly to yesterday to not be blocked today. ## Solution - Pinned nightly to `nightly-2025-05-16` ## Testing - Let's see if the pipeline is green on this PR :D |
||
---|---|---|
.. | ||
actions/install-linux-deps | ||
example-run | ||
ISSUE_TEMPLATE | ||
linters | ||
start-mobile-example | ||
start-wasm-example | ||
workflows | ||
dependabot.yml | ||
FUNDING.yml | ||
pull_request_template.md |