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

added following redirect to why2-project workflow

Browse Source 
I forgor
This commit is contained in:
Václav Šmejkal 2022-05-24 19:12:46 +02:00
parent 375aeccc1c
commit d30e8db886
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 run: sudo ./${{ matrix.build }} install
- name: Download WHY2 test project - 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 - name: Build WHY2 project
run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }} run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }}