Disable "exit on error" when running `make check`.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9c13fbcdbb48674f0bdd7aaac8835efe0efa5fa6..b4f0a8365ff0d3ba9b393d65eacd95cddc185f2e 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -63,6 +63,7 @@ jobs:
       run: make -j$(nproc) -sk
     - name: Run make check
       run: |
+        set +e
         make $MAKEFLAGS check
         echo "$?" >make-check.status
       continue-on-error: true
@@ -116,6 +117,7 @@ jobs:
       run: make -j$(nproc) -sk
     - name: Run make check
       run: |
+        set +e
         make $MAKEFLAGS check
         echo "$?" >make-check.status
       continue-on-error: true