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

updated why2-core-test workflow's path to test

Browse Source 
added core into path yk
This commit is contained in:
Václav Šmejkal 2022-11-18 18:06:56 +01:00
parent 37e003eb89
commit 82fc512eb8
No known key found for this signature in database
GPG Key ID: FD749A97DF2D5E19
1 changed files with 2 additions and 2 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

@ -1,4 +1,4 @@
name: Test WHY2
name: Test WHY2-core
on:
push:
@ -16,7 +16,7 @@ jobs:
os: [ ubuntu-latest ]
include:
- os: ubuntu-latest
output: out/why2-test
output: out/why2-core-test
configure: configure.sh
app: why2