Code

Advance to 2023.04.25~dev#2888

Code

Merged

tahina-pro merged 2 commits into_releaseFStarLang/FStar:_releasefrom _BuildHints-_releaseFStarLang/FStar:_BuildHints-_releaseCopy head branch name to clipboardApr 25, 2023

+23,238-22,895

Commits

Commits on Apr 25, 2023

• [CI] regenerate hints + ocaml snapshot

  

  Dzomo, the Everest Yak

  committed
  912920f

  Copy full SHA for 912920f

• [CI] bump version number to 2023.04.25~dev

  

  Dzomo, the Everest Yak

  committed
  d202003

  Copy full SHA for d202003