Skip to content

Pulse tests: do not define KRML_HOME for CI; add divergent or decreases clauses#750

Merged
tahina-pro merged 3 commits into
FStarLang:masterfrom
tahina-pro:_taramana_pulse_div
Jul 23, 2026
Merged

Pulse tests: do not define KRML_HOME for CI; add divergent or decreases clauses#750
tahina-pro merged 3 commits into
FStarLang:masterfrom
tahina-pro:_taramana_pulse_div

KRML_EXE need not be set for build-and-test-pulse

2117b17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view