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
|
2024-09-06 21:29:08 +00:00
|
|
|
runs-on: ${{ matrix.os }}
|
|
|
|
|
strategy:
|
|
|
|
|
matrix:
|
|
|
|
|
os: [ubuntu-latest, macOS-latest]
|
|
|
|
|
# agda-version: [2.6.2, 2.7.0]
|
2024-09-05 20:36:47 +00:00
|
|
|
|
|
|
|
|
steps:
|
2024-09-06 21:29:08 +00:00
|
|
|
- name: Cache cabal
|
2024-09-06 17:34:34 +00:00
|
|
|
uses: actions/cache@v4
|
|
|
|
|
with:
|
|
|
|
|
path: ~/.cabal
|
|
|
|
|
key: cabal-dir
|
2024-09-05 20:36:47 +00:00
|
|
|
- uses: haskell-actions/setup@v2
|
|
|
|
|
with:
|
|
|
|
|
ghc-version: 9.8.2
|
|
|
|
|
cabal-version: 3.10.3.0
|
2024-09-06 17:31:15 +00:00
|
|
|
- run: mkdir -p installdir
|
2024-09-05 20:36:47 +00:00
|
|
|
- name: Install Agda
|
2024-09-06 17:31:15 +00:00
|
|
|
run: cabal install --installdir installdir Agda
|
|
|
|
|
- run: tar cvf agda.tar.gz -C "$(dirname $(dirname $(realpath installdir/agda)))" .
|
|
|
|
|
- uses: actions/upload-artifact@v4
|
|
|
|
|
with:
|
|
|
|
|
name: agda.tar.gz
|
|
|
|
|
path: agda.tar.gz
|
