Delete .github/workflows/makefile.yml

This commit is contained in:
gouziman 2026-03-08 23:22:31 +08:00 committed by GitHub
parent 86a7af0be9
commit 1728c3fb3d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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