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

fixed test rule in core & logger workflows

Browse Source
This commit is contained in:
Václav Šmejkal 2022-11-18 18:12:38 +01:00
parent cd27121592
commit 1d27b98fbf
No known key found for this signature in database
GPG Key ID: FD749A97DF2D5E19
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/why2-core-test.yml vendored
View File

@ -42,7 +42,7 @@ jobs:
run: sudo make install run: sudo make install
- name: Build WHY2 Test - name: Build WHY2 Test
run: make test run: make testCore
- name: Test Lib - name: Test Lib
run: ./${{ matrix.output }} run: ./${{ matrix.output }}

2
.github/workflows/why2-logger-test.yml vendored
View File

@ -42,7 +42,7 @@ jobs:
run: sudo make install run: sudo make install
- name: Build WHY2 Test - name: Build WHY2 Test
run: make test run: make testLogger
- name: Test Lib - name: Test Lib
run: ./${{ matrix.output }} run: ./${{ matrix.output }}