2020-05-21 09:01:50 -07:00
|
|
|
name: linux
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
paths-ignore:
|
|
|
|
|
- 'docs/**'
|
2021-08-13 05:07:24 -07:00
|
|
|
pull_request:
|
2020-05-21 09:01:50 -07:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
linux:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v1
|
2020-11-11 11:11:34 -08:00
|
|
|
- uses: seanmiddleditch/gha-setup-ninja@master
|
|
|
|
|
- name: make test
|
2020-12-22 21:45:26 -08:00
|
|
|
run: make -f makefile.dev test
|
