ci.yml: update, F* just needs make now

Author: mtzguido

.github/workflows/ci.yml

@@ -38,8 +38,7 @@ jobs:
  - name: Build F*
  if: steps.cache-fstar.outputs.cache-hit != 'true'
  run: |
- make -C FStar ADMIT=1 -sj$(nproc) fstar
- make -C FStar ADMIT=1 -sj$(nproc) bootstrap
+ make -C FStar ADMIT=1 -sj$(nproc)
 
  - name: Save built F*
  if: steps.cache-fstar.outputs.cache-hit != 'true'