michael/agdaup
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

only ubuntu for now

Browse source
This commit is contained in:
Michael Zhang 2024-09-05 22:38:56 +02:00
parent 6e32d34b70
commit d501dbca79
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.github/workflows/build.yml vendored
View file

@ -4,11 +4,12 @@ on: [push]
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest, macOS-latest, windows-latest]
agda-version: [2.6.2, 2.7.0]
runs-on: ubuntu-latest
# runs-on: ${{ matrix.os }}
# strategy:
# matrix:
# os: [ubuntu-latest, macOS-latest, windows-latest]
# agda-version: [2.6.2, 2.7.0]
steps:
- uses: haskell-actions/setup@v2