ci: build virtio example

au-ts · Nov 10, 2023 · e9e53ae · e9e53ae
1 parent 0cda92a
commit e9e53ae
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -29,6 +29,8 @@ jobs:
     steps:
       - name: Checkout VMM repository
         uses: actions/checkout@v3
+        with:
+          submodules: 'true'
       - name: Download Microkit SDK
         run: ./ci/acquire_sdk.sh microkit-sdk.zip ${{ secrets.GITHUB_TOKEN }} linux-x86-64
         shell: bash
@@ -58,6 +60,8 @@ jobs:
     steps:
       - name: Checkout VMM repository
         uses: actions/checkout@v3
+        with:
+          submodules: 'true'
       - name: Download Microkit SDK
         run: ./ci/acquire_sdk.sh microkit-sdk.zip ${{ secrets.GITHUB_TOKEN }} macos-x86-64
         shell: bash
@@ -88,6 +92,8 @@ jobs:
     steps:
       - name: Checkout VMM repository
         uses: actions/checkout@v3
+        with:
+          submodules: 'true'
       - name: Download Microkit SDK
         run: ./ci/acquire_sdk.sh microkit-sdk.zip ${{ secrets.GITHUB_TOKEN }} linux-x86-64
         shell: bash
@@ -109,6 +115,8 @@ jobs:
     steps:
       - name: Checkout VMM repository
         uses: actions/checkout@v3
+        with:
+          submodules: 'true'
       - name: Download Microkit SDK
         run: ./ci/acquire_sdk.sh microkit-sdk.zip ${{ secrets.GITHUB_TOKEN }} macos-x86-64
         shell: bash

diff --git a/ci/examples.sh b/ci/examples.sh
@@ -89,5 +89,8 @@ simulate_rust "debug"
 build_rust "release"
 simulate_rust "release"
 
+build_virtio "qemu_arm_virt" "debug"
+build_virtio "qemu_arm_virt" "release"
+
 echo ""
 echo "CI|INFO: Passed all VMM tests"