From 05ddb17df60b724646b0fb08d468ceeccf560983 Mon Sep 17 00:00:00 2001 From: halil ibrahim deniz <62566319+HalilDeniz@users.noreply.github.com> Date: Thu, 14 Dec 2023 19:10:24 +0300 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 8db022e..0000000 --- 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@v3 - - - name: configure - run: ./configure - - - name: Install dependencies - run: make - - - name: Run check - run: make check - - - name: Run distcheck - run: make distcheck