Update CI.yml

Remove FindHighest and BinarySearch from list of skipped proofs.

Author: muenchnerkindl

.github/workflows/CI.yml

@@ -145,8 +145,6 @@ jobs:
             specifications/ewd998/EWD998_proof.tla
             ## Regressions?
             specifications/byzpaxos/Consensus.tla
-            specifications/LearnProofs/FindHighest.tla
-            specifications/LoopInvariance/BinarySearch.tla
             specifications/TeachingConcurrency/SimpleRegular.tla
             # Failing; see https://github.com/tlaplus/Examples/issues/67
             specifications/Bakery-Boulangerie/Bakery.tla