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

implemented snake_case & non-root in workflows

Browse Source
This commit is contained in:
Václav Šmejkal 2024-01-24 12:03:15 +01:00
parent 5d443a0b74
commit 1c1b893e09
Signed by: ENGO150
GPG Key ID: 4A57E86482968843
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -59,10 +59,10 @@ jobs:
run: sudo apt install valgrind
- name: Install WHY2
run: sudo make install
run: make install
- name: Build WHY2 Test
run: make testCore
run: make test_core
- name: Test Lib
run: ./${{ matrix.output }}

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

@ -59,10 +59,10 @@ jobs:
run: sudo apt install valgrind
- name: Install WHY2
run: sudo make install
run: make install
- name: Build WHY2 Test
run: make testLogger
run: make test_logger
- name: Test Lib
run: ./${{ matrix.output }}

2
.github/workflows/why2-project.yml vendored
View File

@ -53,7 +53,7 @@ jobs:
run: sudo ./${{ matrix.configure }}
- name: Install WHY2
run: sudo make install
run: make install
- name: Download WHY2 test project
run: curl -Lo ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw