diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml index 54d0b7729..1c821ac73 100644 --- a/.github/workflows/gap.yml +++ b/.github/workflows/gap.yml @@ -59,7 +59,27 @@ jobs: run: | curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz" tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz" - - name: "Run tst/testall.g" + - name: "Run DigraphsTestInstall" + if: ${{ always() }} uses: gap-actions/run-pkg-tests@v2 + with: + GAP_TESTFILE: "tst/github_actions/install.g" + - name: "Run DigraphsTestStandard" + if: ${{ always() }} + uses: gap-actions/run-pkg-tests@v2 + with: + GAP_TESTFILE: "tst/github_actions/standard.g" + - name: "Run DigraphsTestManualExamples" + if: ${{ always() }} + uses: gap-actions/run-pkg-tests@v2 + with: + GAP_TESTFILE: "tst/github_actions/examples.g" + - name: "Run DigraphsTestExtreme" + if: ${{ always() }} + uses: gap-actions/run-pkg-tests@v2 + with: + GAP_TESTFILE: "tst/github_actions/extreme.g" - uses: gap-actions/process-coverage@v2 + if: ${{ always() }} - uses: codecov/codecov-action@v1 + if: ${{ always() }} diff --git a/tst/github_actions/examples.g b/tst/github_actions/examples.g new file mode 100644 index 000000000..4c716ef39 --- /dev/null +++ b/tst/github_actions/examples.g @@ -0,0 +1,7 @@ +LoadPackage("digraphs", false);; +if DIGRAPHS_RunTest(DigraphsTestManualExamples) then + QUIT_GAP(0); +else + QUIT_GAP(1); +fi; +FORCE_QUIT_GAP(1); diff --git a/tst/github_actions/extreme.g b/tst/github_actions/extreme.g new file mode 100644 index 000000000..8455b0f2b --- /dev/null +++ b/tst/github_actions/extreme.g @@ -0,0 +1,7 @@ +LoadPackage("digraphs", false);; +if DigraphsTestExtreme(rec(earlyStop := false)) then + QUIT_GAP(0); +else + QUIT_GAP(1); +fi; +FORCE_QUIT_GAP(1); diff --git a/tst/github_actions/install.g b/tst/github_actions/install.g new file mode 100644 index 000000000..73a2a86ad --- /dev/null +++ b/tst/github_actions/install.g @@ -0,0 +1,7 @@ +LoadPackage("digraphs", false);; +if DigraphsTestInstall() then + QUIT_GAP(0); +else + QUIT_GAP(1); +fi; +FORCE_QUIT_GAP(1); diff --git a/tst/github_actions/standard.g b/tst/github_actions/standard.g new file mode 100644 index 000000000..3ca775b88 --- /dev/null +++ b/tst/github_actions/standard.g @@ -0,0 +1,7 @@ +LoadPackage("digraphs", false);; +if DigraphsTestStandard(rec(earlyStop := false)) then + QUIT_GAP(0); +else + QUIT_GAP(1); +fi; +FORCE_QUIT_GAP(1);