Remove unneeded file

Signed-off-by: Gilles Peskine <[email protected]>
2026-09-11 20:59:54 +00:00 · 2024-04-16 12:10:44 +02:00
parent fc90f21876
commit 20b2fbc9d3
1 changed files with 0 additions and 21 deletions
@@ -1,21 +0,0 @@
 name: CI
 on: [push]
 jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v1
    - name: Get dependencies
      run: |
        sudo apt update -qq
        sudo apt install -y gcc make python3
    - name: Build package and test 
      run: |
        sudo make install
        sudo ldconfig
        make test
        make ci | grep RESPONSE