2022-09-10 03:41:47 +00:00
|
|
|
name: make
|
2022-08-27 17:03:54 +00:00
|
|
|
|
|
|
|
|
# Build on every branch push, tag push, and pull request change:
|
|
|
|
|
on: [push, pull_request]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
|
- name: make
|
|
|
|
|
run: make WERROR=1
|
