diff options
| author | Wiimm <wiimm@wiimm.de> | 2020-07-25 14:51:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-25 14:51:18 +0200 |
| commit | 85d56da7acd2c2ccb0734ca1cd858ea25152ae7e (patch) | |
| tree | c9ca2a315e15285c8de2d149316b78bdb2e34691 /.github | |
| parent | 6f84bc5d7562450a863ede493f3ac063a7effe89 (diff) | |
Create make.yml
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/make.yml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml new file mode 100644 index 0000000..9652bed --- /dev/null +++ b/.github/workflows/make.yml @@ -0,0 +1,17 @@ +name: C/C++ CI + +on: + push: + branches: [ master ] + pull_request: + branches: [ master ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v2 + - name: make + run: make distrib |