Code

Run tests in Miri as well#68

Code

Closed

piperswe wants to merge 7 commits intomainLutrisEng/datom-rs:mainfrom piper/miri-rudaLutrisEng/datom-rs:piper/miri-rudaCopy head branch name to clipboard

+36-6

Commits

Commits on Aug 27, 2021

• Run tests in Miri as well

  piperswe

  committed
  1d94868

  Copy full SHA for 1d94868

• Run Miri alongside tests

  piperswe

  committed
  e0ae1ee

  Copy full SHA for e0ae1ee

• Fix the value of toolchain

  piperswe

  committed
  928e0a9

  Copy full SHA for 928e0a9

• Add ok job

  piperswe

  committed
  a7d8e30

  Copy full SHA for a7d8e30

• Disable isolation in Miri

  piperswe

  committed
  d6947b4

  Copy full SHA for d6947b4

• Make tests only depend on check and lint

  piperswe

  committed
  3c9b3b3

  Copy full SHA for 3c9b3b3

• Add more to ok

  piperswe

  committed
  2295539

  Copy full SHA for 2295539