Merge branch 'dev'

This commit is contained in:
Leonardo Vencovsky committed 2020-10-07 15:04:16 -03:00
commit b58ff6a656
118 files changed
+3901 -1246

No files matched your search

+7 -1
View File
@@ -10,7 +10,13 @@ jobs:
steps:
- uses: actions/checkout@v2
- name: Setup Environment
run: sudo apt install make valgrind gcc python
run: sudo apt install make valgrind gcc python3.8
- name: Versions
run: |
gcc --version \
make --version \
valgrind --version \
python --version \
- name: Test Suite
run: python autogen.py -e -b -r -nf
# - name: Valgrind Test