Revert "disabling F# tests to see if that helps the CI system"
Revert "disabling F# tests to see if that helps the CI system"

This reverts commit 467f3a1387c6df88b06fa5567eddd25f90d7f293.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar