From ecc736df5c30d6663830c8588b035738d343a33d Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Sun, 29 Jan 2023 20:46:38 +0100 Subject: [PATCH] updated project-test url --- .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 c2e294e..0d0ff74 100644 --- a/.github/workflows/why2-project.yml +++ b/.github/workflows/why2-project.yml @@ -56,7 +56,7 @@ jobs: run: sudo make install - name: Download WHY2 test project - run: curl -L -o ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw + run: curl -L -o ${{ matrix.test }}.c https://gist.githubusercontent.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw/6843617904dc42550dba12d5be30aae442a38a80/WHY2%2520Example%2520App - name: Build WHY2 project run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }}