From 1728c3fb3da7b472bc5819fe7b56a866097a5eb1 Mon Sep 17 00:00:00 2001 From: gouziman Date: Sun, 8 Mar 2026 23:22:31 +0800 Subject: [PATCH] Delete .github/workflows/makefile.yml --- .github/workflows/makefile.yml | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 .github/workflows/makefile.yml diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml deleted file mode 100644 index 8789c17b..00000000 --- a/.github/workflows/makefile.yml +++ /dev/null @@ -1,27 +0,0 @@ -name: Makefile CI - -on: - push: - branches: [ "main" ] - pull_request: - branches: [ "main" ] - -jobs: - build: - - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - - name: configure - run: ./configure - - - name: Install dependencies - run: make - - - name: Run check - run: make check - - - name: Run distcheck - run: make distcheck