agdaup/.github/workflows/build.yml

21 lines
430 B
YAML
Raw Normal View History

2024-09-05 20:36:47 +00:00
name: Build Agda
2024-09-05 20:38:06 +00:00
on: [push]
2024-09-05 20:36:47 +00:00
jobs:
build:
2024-09-05 20:38:56 +00:00
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]
2024-09-05 20:36:47 +00:00
steps:
- uses: haskell-actions/setup@v2
with:
ghc-version: 9.8.2
cabal-version: 3.10.3.0
- name: Install Agda
2024-09-06 16:18:41 +00:00
run: cabal install Agda
-