ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

replaced wget for curl in why2-project

Browse Source 
because why not
This commit is contained in:
Václav Šmejkal 2022-05-24 18:55:13 +02:00
parent ef4f9f5084
commit 031bdd0fdb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/why2-project.yml vendored
View File

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