fix(gh-actions): stop updating hax-frontend-exporter-option

cryspen · Jun 13, 2024 · f0dfa77 · f0dfa77
1 parent 2493d27
commit f0dfa77
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/charon.yml b/.github/workflows/charon.yml
@@ -12,5 +12,4 @@ jobs:
       - run: |
           cd charon
           cargo update -p hax-frontend-exporter --precise ${{ github.sha }}
-          cargo update -p hax-frontend-exporter-options --precise ${{ github.sha }}
       - run: nix build -L