CI: fix apt install

mupq · Jan 6, 2025 · 45a30e4 · 45a30e4
1 parent 9326a20
commit 45a30e4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/ml-dsa.yml b/.github/workflows/ml-dsa.yml
@@ -18,7 +18,9 @@ jobs:
         with:
           release: 13.2.Rel1
       - name: Install qemu-system
-        run: sudo apt-get install -y qemu-system
+        run: |
+        sudo apt-get update
+        sudo apt-get install -y qemu-system
       - name: Install dependencies
         run:  pip3 install -r requirements.txt
       - name: Test (mps2-an500)

diff --git a/.github/workflows/ml-kem.yml b/.github/workflows/ml-kem.yml
@@ -18,7 +18,9 @@ jobs:
         with:
           release: 13.2.Rel1
       - name: Install qemu-system
-        run: sudo apt-get install -y qemu-system
+        run: |
+        sudo apt-get update
+        sudo apt-get install -y qemu-system
       - name: Install dependencies
         run:  pip3 install -r requirements.txt
       - name: Test (mps2-an500)