Skip to content

miri is no longer a submodule but a subtree.#1488

Merged
JohnTitor merged 3 commits into
rust-lang:masterfrom
luqmana:miri-subtree
Oct 22, 2022
Merged

miri is no longer a submodule but a subtree.#1488
JohnTitor merged 3 commits into
rust-lang:masterfrom
luqmana:miri-subtree

Remove date-check

96faf55
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs