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

ci typos fix

Browse Source
This commit is contained in:
Václav Šmejkal 2024-02-18 11:25:31 +01:00
parent 2837ace7f4
commit 45afe8443a
Signed by: ENGO150
GPG Key ID: 4A57E86482968843
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitlab-ci.yml
View File

@ -47,5 +47,5 @@ why2-core-test:
- 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
- ./$CORE_OUTPUT # Test Lib - ./$CORE_OUTPUT # Test Lib
- $APP # Test App - $CORE_APP # Test App
- $VALGRIND $APP # Test Lib by Valgrind - $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind