wip

hacspec · Feb 20, 2024 · bd26dac · bd26dac
1 parent c0ae030
commit bd26dac
Showing 1 changed file with 9 additions and 10 deletions.
diff --git a/.github/workflows/kyber.yml b/.github/workflows/kyber.yml
@@ -16,12 +16,21 @@ jobs:
  runs-on: "ubuntu-latest"
 
  steps:
+ - name: ⤵ Clone Libcrux repository
+ uses: actions/checkout@v4
+ with:
+ repository: cryspen/libcrux
  - uses: actions/checkout@v4
  with:
  path: hax
  - uses: DeterminateSystems/nix-installer-action@main
  - uses: DeterminateSystems/magic-nix-cache-action@main
 
+ - name: ⤵ Install hax
+ run: |
+ tree /home/runner/work/
+ nix profile install ./hax
+ 
  - name: ⤵ Install FStar
  run: nix profile install github:FStarLang/FStar/v2024.01.13
 
@@ -31,16 +40,6 @@ jobs:
  repository: hacl-star/hacl-star
  path: hacl-star
 
- - name: ⤵ Clone Libcrux repository
- uses: actions/checkout@v4
- with:
- repository: cryspen/libcrux
-
- - name: ⤵ Install hax
- run: |
- tree /home/runner/work/
- nix profile install ./hax
-
  - name: 🏃 Extract the Kyber reference code
  run: |
  eval $(opam env)