CI: build orb

gap-packages · Dec 12, 2024 · 52e56d8 · 52e56d8
1 parent 644f1b4
commit 52e56d8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -35,6 +35,7 @@ jobs:
         with:
           GAPBRANCH: ${{ matrix.gap-branch }}
           GAP_PKGS_TO_CLONE: 'recog'
+          GAP_PKGS_TO_BUILD: 'io profiling orb'
       - uses: gap-actions/build-pkg@v1
       - uses: gap-actions/run-pkg-tests@v2
       - uses: gap-actions/run-pkg-tests@v2