Code

Add miri to github ci#72

Code

Merged

sinui0 merged 8 commits intoprivacy-scaling-explorations:devprivacy-scaling-explorations/mpz:devfrom 000wan:ci/miri000wan/mpz:ci/miriCopy head branch name to clipboardOct 2, 2023

+30-7

Commits

Commits on Sep 27, 2023

• Add miri to github ci

  000wan

  committed
  6dc1bf7

• Fix test errors

  000wan

  committed
  285b613

• Decrease test matrix size for miri

  000wan

  committed
  49c4667

• Use random for testing nbyte_add_mod

  000wan

  committed
  51a9ef3

Commits on Oct 2, 2023

• Revert "Use random for testing nbyte_add_mod"

  Show description for fcda439
  000wan

  committed
  fcda439

• Assign target packages for miri test

  000wan

  committed
  a461d4b

• Reduce test sizes for miri

  000wan

  committed
  78f4e20

• Test miri for both x86_64 and aarch64

  000wan

  committed
  a0c31a5