TEMP: ci.yml: point to dev branch in forks

Author: mtzguido

.github/workflows/ci.yml

@@ -25,8 +25,8 @@ jobs:
  id: checkout-fstar
  with:
  path: FStar
- repository: FStarLang/FStar
- ref: master
+ repository: mtzguido/FStar
+ ref: dev
 
  - name: Try fetch built F*
  id: cache-fstar
@@ -53,8 +53,8 @@ jobs:
  id: checkout-karamel
  with:
  path: karamel
- repository: FStarLang/karamel
- ref: master
+ repository: mtzguido/karamel
+ ref: dev
 
  - name: Try fetch built karamel
  id: cache-karamel