![]() # 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 |
||
---|---|---|
.. | ||
action-on-PR-labeled.yml | ||
ci-comment-failures.yml | ||
ci.yml | ||
dependencies.yml | ||
docs.yml | ||
example-run-report.yml | ||
example-run.yml | ||
post-release.yml | ||
send-screenshots-to-pixeleagle.yml | ||
validation-jobs.yml | ||
weekly.yml | ||
welcome.yml |