From 031bdd0fdb9f4cf560c0570ef581733f17097a8e Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Tue, 24 May 2022 18:55:13 +0200 Subject: [PATCH] replaced wget for curl in why2-project because why not --- .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 445c28a..09efc9b 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: wget -O ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw + run: curl -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 }}