From 82fc512eb88a99e714a150ce660ad521856353ed Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Fri, 18 Nov 2022 18:06:56 +0100 Subject: [PATCH] updated why2-core-test workflow's path to test added core into path yk --- .github/workflows/why2-core-test.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/why2-core-test.yml b/.github/workflows/why2-core-test.yml index c949f2b..df2b1e2 100644 --- a/.github/workflows/why2-core-test.yml +++ b/.github/workflows/why2-core-test.yml @@ -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