diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml new file mode 100644 index 0000000..8883337 --- /dev/null +++ b/.github/workflows/makefile.yml @@ -0,0 +1,18 @@ +name: Makefile CI + +on: + push: + branches: [ "master" ] + pull_request: + branches: [ "master" ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + + - name: Run tests + run: make tests diff --git a/tests/05-cqfd_run_extra_groups b/tests/05-cqfd_run_extra_groups index c803414..24c52b5 100755 --- a/tests/05-cqfd_run_extra_groups +++ b/tests/05-cqfd_run_extra_groups @@ -1,5 +1,7 @@ #!/usr/bin/env bash +set -x + . "$(dirname $0)"/jtest.inc "$1" cqfd="$TDIR/.cqfd/cqfd"