Code

no std hax lib#457

Code

Merged

franziskuskiefer merged 4 commits intomaincryspen/hax:mainfrom franziskus/no-std-hax-libcryspen/hax:franziskus/no-std-hax-libCopy head branch name to clipboardJan 25, 2024

+20-3

Commits

Commits on Jan 22, 2024

• Allow using hax-lib in #![no_std] environments

  sivadeilra

  committed
  c9876a3

  Copy full SHA for c9876a3

Commits on Jan 25, 2024

• no-std ci build for hax-lib

  franziskuskiefer

  committed
  fa50497

  Copy full SHA for fa50497

• manually add target

  franziskuskiefer

  committed
  8c2b490

  Copy full SHA for 8c2b490

• Merge branch 'main' into franziskus/no-std-hax-lib

  franziskuskiefer

  authored
  42366b9

  Copy full SHA for 42366b9