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

trying to add mac support (in workflows)

Browse Source 
chance of revert is 75%
This commit is contained in:
Václav Šmejkal 2022-05-31 19:07:47 +02:00
parent e4cc4ee082
commit c85d401662
No known key found for this signature in database
GPG Key ID: FD749A97DF2D5E19
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -11,7 +11,7 @@ jobs:
strategy: strategy:
matrix: matrix:
os: [ ubuntu-latest ] os: [ ubuntu-latest, macos-latest ]
include: include:
- os: ubuntu-latest - os: ubuntu-latest
configure: configure.sh configure: configure.sh

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

@ -11,7 +11,7 @@ jobs:
strategy: strategy:
matrix: matrix:
os: [ ubuntu-latest ] os: [ ubuntu-latest, macos-latest ]
include: include:
- os: ubuntu-latest - os: ubuntu-latest
output: out/why2-test output: out/why2-test
@ -59,7 +59,7 @@ jobs:
strategy: strategy:
matrix: matrix:
os: [ ubuntu-latest ] os: [ ubuntu-latest, macos-latest ]
include: include:
- os: ubuntu-latest - os: ubuntu-latest
output: out/why2-test output: out/why2-test