Specific CI

albinahlback · Oct 9, 2024 · a26e103 · a26e103
1 parent cff7a93
commit a26e103
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/push_CI.yml b/.github/workflows/push_CI.yml
@@ -64,5 +64,8 @@ jobs:
       - name: "Check parts"
         run: |
           cd ${REPO}
-          make check MOD=fq_default
-          make check MOD=fq_default_poly
+          make check MOD=fq_default_poly ARGS=fq_default_poly_init
+          make check MOD=fq_default_poly ARGS=fq_default_poly_inlines
+          make check MOD=fq_default_poly ARGS=fq_default_poly_set_fmpz_poly
+          make check MOD=fq_default_poly ARGS=fq_default_poly_evaluate
+