CI: add orb to packages to build for manual, too

gap-packages · Dec 13, 2024 · bb0e053 · bb0e053
1 parent 25bf9e9
commit bb0e053
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -56,6 +56,8 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: gap-actions/setup-gap@v2
+        with:
+          GAP_PKGS_TO_BUILD: 'io profiling orb'
       - uses: gap-actions/build-pkg-docs@v1
         with:
           use-latex: 'true'