Update .github/workflows/kyber.yml

Co-authored-by: Franziskus Kiefer <[email protected]>
hacspec · Feb 20, 2024 · 43c741e · 43c741e
1 parent 3861d76
commit 43c741e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/kyber.yml b/.github/workflows/kyber.yml
@@ -30,7 +30,6 @@ jobs:
 
  - name: ⤵ Install hax
  run: |
- tree /home/runner/work/
  nix profile install ./hax
 
  - name: ⤵ Install FStar