2020-11-11 20:32:41 +01:00
|
|
|
name: linux_asan
|
2020-11-11 20:11:34 +01:00
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
paths-ignore:
|
|
|
|
|
- 'docs/**'
|
2021-08-13 14:07:24 +02:00
|
|
|
pull_request:
|
2020-11-11 20:11:34 +01:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
linux:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v1
|
|
|
|
|
- uses: seanmiddleditch/gha-setup-ninja@master
|
|
|
|
|
- name: make test_asan
|
2020-12-23 06:45:26 +01:00
|
|
|
run: make -f makefile.dev test_asan
|
