From 9769f8803f00df8e08ee9439cb50c21cb5e7069e Mon Sep 17 00:00:00 2001 From: "Sean P. Myrick V19.1.7.2" Date: Mon, 6 Nov 2023 21:45:18 -0800 Subject: [PATCH] makefile.yml --- .github/workflows/makefile.yml | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 .github/workflows/makefile.yml diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml new file mode 100644 index 0000000..d409618 --- /dev/null +++ b/.github/workflows/makefile.yml @@ -0,0 +1,27 @@ +name: Makefile CI + +on: + push: + branches: [ "AI2001_Category-Source_Code-SC-PureScript_Main-dev" ] + pull_request: + branches: [ "AI2001_Category-Source_Code-SC-PureScript_Main-dev" ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3 + + - name: configure + run: ./configure + + - name: Install dependencies + run: make + + - name: Run check + run: make check + + - name: Run distcheck + run: make distcheck