Merge branch 'dev'
This commit is contained in:
commit
4d8d49019d
137 files changed
+27864
-28204
No files matched your search
@@ -10,8 +10,8 @@ jobs:
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
- name: Setup Environment
|
||||
run: sudo apt install make valgrind gcc
|
||||
run: sudo apt install make valgrind gcc python
|
||||
- name: Test Suite
|
||||
run: make -C ./tests/main nocov
|
||||
- name: Valgrind Test
|
||||
run: make -C ./tests/main valgrind
|
||||
run: python autogen.py -e -b -r -nf
|
||||
# - name: Valgrind Test
|
||||
# run: make -C ./tests/main valgrind
|
||||
Reference in new issue
Block a user