set the proper ci flag

seanenck · Dec 27, 2024 · 2af72b2 · 2af72b2
1 parent e7a3465
commit 2af72b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -16,6 +16,6 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - name: "build"
-        run: make FLAGS="-D CI_NO_NESTED_VIRT"
+        run: make FLAGS="-D CI_SKIP_NESTED_VIRT"
       - name: "check"
         run: make check