ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

Compare commits

base: ENGO150:90ac513be1f7679f406c0103721a9efce9dda85c
Branches Tags
ENGO150:stable
ENGO150:development
ENGO150:release
ENGO150:xor_encryption
..
compare: ENGO150:c5cd5a2d1348bcd1a7f4b3aa50447c0293518aa5
Branches Tags
ENGO150:development
ENGO150:stable
ENGO150:release
ENGO150:xor_encryption

No commits in common. "90ac513be1f7679f406c0103721a9efce9dda85c" and "c5cd5a2d1348bcd1a7f4b3aa50447c0293518aa5" have entirely different histories.
90ac513be1 ... c5cd5a2d13

2 changed files with 6 additions and 5 deletions
Show Stats Expand all files Collapse all files

2
.github/workflows/codacy.yml vendored
View File

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

9
.gitlab-ci.yml
View File

@ -22,6 +22,7 @@ variables:
LOGGER_OUTPUT: "./out/why2-logger-test" LOGGER_OUTPUT: "./out/why2-logger-test"
LOGGER_APP: "why2-logger" LOGGER_APP: "why2-logger"
VALGRIND: "valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s" VALGRIND: "valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s"
GDB: "gdb -ex \"run\" -ex \"quit\" --batch"
CONFIGURE: "./configure.sh" CONFIGURE: "./configure.sh"
NEEDED_STUFF: "sudo lsb-release gdb" NEEDED_STUFF: "sudo lsb-release gdb"
@ -50,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 -ex "run" -ex "quit" --batch $CORE_OUTPUT # Test Lib - ${GDB} $CORE_OUTPUT # Test Lib
- gdb -ex "run" -ex "quit" --batch $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:
@ -64,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 -ex "run" -ex "quit" --batch $LOGGER_OUTPUT # Test Lib - ${GDB} $LOGGER_OUTPUT # Test Lib
- gdb -ex "run" -ex "quit" --batch $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: