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

replaced why2-project workflow's URL to a (hopefully) permanent one

Browse Source
This commit is contained in:
Václav Šmejkal 2023-02-04 17:44:43 +01:00
parent 253989ccc9
commit 031a1e2025
Signed by: ENGO150
GPG Key ID: 4A57E86482968843
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

@ -56,7 +56,7 @@ jobs:
run: sudo make install run: sudo make install
- name: Download WHY2 test project - name: Download WHY2 test project
run: curl -L -o ${{ matrix.test }}.c https://gist.githubusercontent.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw/74d5b5a206aae3e1a3782938fbe770df3e69c1ee/WHY2%2520Example%2520App run: curl -Lo ${{ 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 }}