From d30e8db88645f3786638dfe6cbf830f7372020d3 Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Tue, 24 May 2022 19:12:46 +0200 Subject: [PATCH] added following redirect to why2-project workflow I forgor --- .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 09efc9b..cc79e95 100644 --- a/.github/workflows/why2-project.yml +++ b/.github/workflows/why2-project.yml @@ -42,7 +42,7 @@ jobs: run: sudo ./${{ matrix.build }} install - name: Download WHY2 test project - run: curl -o ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw + run: curl -L -o ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw - name: Build WHY2 project run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }}