Update CI for new EverParse based on KRML_EXE instead of KRML_HOME#749

Merged

tahina-pro merged 3 commits into

FStarLang:masterfrom

tahina-pro:_taramana_ci_everparse

Jul 10, 2026

Commits on Jul 3, 2026

update CI for new EverParse based on KRML_EXE instead of KRML_HOME
tahina-pro
committed

Commits on Jul 7, 2026

make sure EverParse cannot create and build its own opt/karamel
tahina-pro
committed

Commits on Jul 10, 2026

Merge branch 'master' into _taramana_ci_everparse
tahina-pro
authored