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

removed build script usage from why2-project workflow

Browse Source 
"Think before you remove somethin"
This commit is contained in:
Václav Šmejkal 2022-07-11 18:05:35 +02:00
parent 23078e5a28
commit ea4b231c4b
No known key found for this signature in database
GPG Key ID: FD749A97DF2D5E19
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -15,7 +15,6 @@ jobs:
include: include:
- os: ubuntu-latest - os: ubuntu-latest
configure: configure.sh configure: configure.sh
build: build.sh
test: test test: test
steps: steps:
@ -33,13 +32,12 @@ jobs:
- name: Permissions - name: Permissions
run: | run: |
chmod +x ${{ matrix.configure }} chmod +x ${{ matrix.configure }}
chmod +x ${{ matrix.build }}
- name: Preparation - name: Preparation
run: sudo ./${{ matrix.configure }} run: sudo ./${{ matrix.configure }}
- name: Install WHY2 - name: Install WHY2
run: sudo ./${{ matrix.build }} install run: sudo make install
- name: Download WHY2 test project - name: Download WHY2 test project
run: curl -L -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