Compare commits
No commits in common. "c5cd5a2d1348bcd1a7f4b3aa50447c0293518aa5" and "e4bb7eb1f278c995b9f6a1f30d71f3c603cfaa06" have entirely different histories.
c5cd5a2d13
...
e4bb7eb1f2
1
.github/workflows/codacy.yml
vendored
1
.github/workflows/codacy.yml
vendored
@ -27,7 +27,6 @@ permissions:
|
||||
|
||||
jobs:
|
||||
codacy-security-scan:
|
||||
if: github.repository == "ENGO150/WHY2"
|
||||
permissions:
|
||||
contents: read
|
||||
security-events: write
|
||||
|
@ -51,8 +51,8 @@ why2-core-test:
|
||||
- sudo $CONFIGURE # Preparation
|
||||
- make install BYPASS_CHECK=true # Install WHY2
|
||||
- make test_core # Build WHY2 Test
|
||||
- ${GDB} $CORE_OUTPUT # Test Lib
|
||||
- ${GDB} $CORE_APP # Test App
|
||||
- $GDB $CORE_OUTPUT # Test Lib
|
||||
- $GDB $CORE_APP # Test App
|
||||
- $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind
|
||||
|
||||
why2-logger-test:
|
||||
@ -65,8 +65,8 @@ why2-logger-test:
|
||||
- sudo $CONFIGURE # Preparation
|
||||
- make install BYPASS_CHECK=true # Install WHY2
|
||||
- make test_logger # Build WHY2 Test
|
||||
- ${GDB} $LOGGER_OUTPUT # Test Lib
|
||||
- ${GDB} $LOGGER_APP # Test App
|
||||
- $GDB $LOGGER_OUTPUT # Test Lib
|
||||
- $GDB $LOGGER_APP # Test App
|
||||
- $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind
|
||||
|
||||
why2-project:
|
||||
|
Loading…
x
Reference in New Issue
Block a user