mirror of https://github.com/ValdikSS/GoodbyeDPI
committed by
GitHub
1 changed files with 27 additions and 0 deletions
@ -0,0 +1,27 @@ |
|||
name: Makefile CI |
|||
|
|||
on: |
|||
push: |
|||
branches: [ "master" ] |
|||
pull_request: |
|||
branches: [ "master" ] |
|||
|
|||
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 |
Loading…
Reference in new issue