Code

fix(ci): remove specs tests#654

Code

Merged

W95Psp merged 2 commits intolibrary-fix-bounded-integerscryspen/hax:library-fix-bounded-integersfrom remove-specs-from-cicryspen/hax:remove-specs-from-ciCopy head branch name to clipboardMay 7, 2024

+3-32

Commits

Commits on May 7, 2024

• fix(ci): remove specs tests

  Show description for ce1a066
  W95Psp

  committed
  ce1a066

  Copy full SHA for ce1a066

• fix(ci): test local chacha20, not specs one

  W95Psp

  committed
  e8fdd4f

  Copy full SHA for e8fdd4f