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:
|
2022-12-15 19:06:48 +00:00
|
|
|
build_repo:
|
|
|
|
|
name: Build repo
|
2022-08-27 17:03:54 +00:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
|
|
steps:
|
2022-12-15 19:06:48 +00:00
|
|
|
- name: Checkout reposistory
|
|
|
|
|
uses: actions/checkout@v3
|
|
|
|
|
|
2022-08-27 17:03:54 +00:00
|
|
|
- name: make
|
2022-12-15 19:07:50 +00:00
|
|
|
run: make -j $(nproc) WERROR=1
|
2022-12-15 19:06:48 +00:00
|
|
|
|
|
|
|
|
- name: Run logic checks
|
|
|
|
|
run: ./tests/c/logic_checks/run_logic_checks.sh
|
