Code

Fix for new F*#124

Code

Closed

mtzguido wants to merge 3 commits intoproject-everest:masterproject-everest/everest:masterfrom mtzguido:fixmtzguido/everest:fixCopy head branch name to clipboard

+52-43

Commits

Commits on Jan 8, 2025

• everest: simplifying some chunks

  mtzguido

  committed
  68b5fd3

  Copy full SHA for 68b5fd3

• everest: better check for Unix paths in windows

  mtzguido

  committed
  0b81c94

  Copy full SHA for 0b81c94

• everest: fix F* build commands

  mtzguido

  committed
  6939e6e

  Copy full SHA for 6939e6e