Compare commits

..

No commits in common. "c5cd5a2d1348bcd1a7f4b3aa50447c0293518aa5" and "e4bb7eb1f278c995b9f6a1f30d71f3c603cfaa06" have entirely different histories.

2 changed files with 4 additions and 5 deletions

View File

@ -27,7 +27,6 @@ permissions:
jobs: jobs:
codacy-security-scan: codacy-security-scan:
if: github.repository == "ENGO150/WHY2"
permissions: permissions:
contents: read contents: read
security-events: write security-events: write

View File

@ -51,8 +51,8 @@ why2-core-test:
- sudo $CONFIGURE # Preparation - sudo $CONFIGURE # Preparation
- make install BYPASS_CHECK=true # Install WHY2 - make install BYPASS_CHECK=true # Install WHY2
- make test_core # Build WHY2 Test - make test_core # Build WHY2 Test
- ${GDB} $CORE_OUTPUT # Test Lib - $GDB $CORE_OUTPUT # Test Lib
- ${GDB} $CORE_APP # Test App - $GDB $CORE_APP # Test App
- $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind - $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind
why2-logger-test: why2-logger-test:
@ -65,8 +65,8 @@ why2-logger-test:
- sudo $CONFIGURE # Preparation - sudo $CONFIGURE # Preparation
- make install BYPASS_CHECK=true # Install WHY2 - make install BYPASS_CHECK=true # Install WHY2
- make test_logger # Build WHY2 Test - make test_logger # Build WHY2 Test
- ${GDB} $LOGGER_OUTPUT # Test Lib - $GDB $LOGGER_OUTPUT # Test Lib
- ${GDB} $LOGGER_APP # Test App - $GDB $LOGGER_APP # Test App
- $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind - $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind
why2-project: why2-project: