2020-11-11 11:32:41 -08:00
|
|
|
name: linux_asan
|
2020-11-11 11:11:34 -08:00
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
paths-ignore:
|
|
|
|
|
- 'docs/**'
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
linux:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v1
|
|
|
|
|
- uses: seanmiddleditch/gha-setup-ninja@master
|
|
|
|
|
- name: make test_asan
|
2020-12-22 21:45:26 -08:00
|
|
|
run: make -f makefile.dev test_asan
|
