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 }}