Delete .github directory

This commit is contained in:
Reion Wong 2021-07-26 14:25:48 +08:00 committed by GitHub
parent 164219ac20
commit 23fb2d13d8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,27 +0,0 @@
name: Build
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout Source
uses: actions/checkout@v2
- name: Update repository
run: sudo apt-get update -y
- name: Install the basic dev packages
run: sudo apt-get install -y equivs curl git devscripts lintian build-essential automake autotools-dev cmake g++
- name: Install build dependencies
run: sudo mk-build-deps -i -t "apt-get --yes" -r
- name: Build
run: mkdir build; cd build; cmake .. ; make -j$(nproc);