From e0fee56ed2baf26d2211822b30a8e1f52f263451 Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Tue, 3 May 2022 17:56:20 +0200 Subject: [PATCH] added step for testing WHY2 as project MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit copies some 🤌 speciale 🤌 code and runs it as completely new project using WHY2 --- .github/workflows/build.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index cde288a..fac6991 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -45,4 +45,11 @@ jobs: run: ./${{ matrix.build }} test - name: Test - run: ./${{ matrix.output }} skipCheck \ No newline at end of file + run: ./${{ matrix.output }} skipCheck + + - name: Test WHY2 as project + run: | + mkdir test && cd test + curl -o main.c https://gist.githubusercontent.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw/bc75020ae0b649414b68143754aae61c5367ee38/C + cc main.c -lwhy2 -o main + ./main \ No newline at end of file