From e22cde737331070e51df295e30f4523a4f591219 Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Wed, 18 May 2022 19:03:09 +0200 Subject: [PATCH] removed unused flags for why2-project --- .github/workflows/why2-project.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml index d1d3af3..3804479 100644 --- a/.github/workflows/why2-project.yml +++ b/.github/workflows/why2-project.yml @@ -45,7 +45,7 @@ jobs: run: wget -O ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw - name: Build WHY2 project - run: cc ${{ matrix.test }}.c -lwhy2 -Wall -ljson-c -lcurl -o ${{ matrix.test }} + run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }} - name: Run test run: ./${{ matrix.test }} \ No newline at end of file