Code

re-add miri test to CI#766

Code

Open

bytewife wants to merge 1 commit intoimmunant:masterimmunant/c2rust:masterfrom bytewife:698_miri_cibytewife/c2rust:698_miri_ciCopy head branch name to clipboard

-1

Commits

Commits on Jan 4, 2023

• re-add miri test to CI

  bytewife

  committed
  e1f46b0