Delete .github/workflows directory

2024-07-28 21:00:38 -04:00
parent d70d0f130d
commit abd44c2727
1 changed files with 0 additions and 27 deletions
@@ -1,27 +0,0 @@
-name: Makefile CI
-
-on:
-  push:
-    branches: [ "cm-14.1" ]
-  pull_request:
-    branches: [ "cm-14.1" ]
-
-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