ci: modify CI after inclusion of QEMU bundled with libqflex

parsa-epfl · Jun 27, 2024 · a82d3da · a82d3da
1 parent 27ed477
commit a82d3da
Showing 1 changed file with 1 addition and 10 deletions.
diff --git a/.github/workflows/00-build.yaml b/.github/workflows/00-build.yaml
@@ -63,7 +63,6 @@ jobs:
       CC: gcc-13
       CXX: g++-13
 
-
     strategy:
       fail-fast: false
       matrix:
@@ -107,13 +106,5 @@ jobs:
         with:
           submodules: true
 
-      # Special checkout for QEMU (yet)
-      - name: Checkout libqflex
-        uses: actions/checkout@v4
-        with:
-          repository: parsa-epfl/libqflex
-          ref: feat/qemu-8.2
-          path: qemu/middleware
-
       - name: Build
-        run: ./build qemu ${{ env.debug }}
+        run: ./build cq ${{ env.debug }}