Skip to content

agdaLatex documentation (#7283) #25

agdaLatex documentation (#7283)

agdaLatex documentation (#7283) #25

Workflow file for this run

######################################################
## ##
## !!!! Autogenerated YAML file, do not edit !!!! ##
## ##
## Edit source in /src/github/workflows/ instead! ##
## ##
######################################################
defaults:
run:
shell: bash
jobs:
auto-cancel:
if: |
!contains(github.event.head_commit.message, '[skip ci]')
&& !contains(github.event.head_commit.message, '[ci skip]')
&& !contains(github.event.head_commit.message, '[github skip]')
&& !contains(github.event.head_commit.message, '[skip github]')
runs-on: ubuntu-latest
steps:
- uses: styfle/[email protected]
with:
access_token: ${{ github.token }}
cabal-install:
env:
FLAGS: -O0 -f enable-cluster-counting
needs: auto-cancel
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
- id: setup-haskell
uses: haskell-actions/setup@v2
with:
cabal-update: true
cabal-version: latest
ghc-version: '9.8'
- name: Configure the build plan
run: |
cabal configure ${FLAGS}
cabal build --dry-run
- env:
key: cabal-install.yml-${{ runner.os }}-ghc-${{ steps.setup-haskell.outputs.ghc-version
}}-cabal-${{ steps.setup-haskell.outputs.cabal-version }}
id: cache
name: Restore cached dependencies
uses: actions/cache/restore@v4
with:
key: ${{ env.key }}-${{ hashFiles('**/plan.json') }}
path: ${{ steps.setup-haskell.outputs.cabal-store }}
restore-keys: ${{ env.key }}-
- name: Install dependencies
run: |
cabal build --only-dependencies
- name: Install Agda
run: |
cabal install ${FLAGS}
- if: always() && steps.cache.outputs.cache-hit != 'true'
name: Save cache
uses: actions/cache/save@v4
with:
key: ${{ steps.cache.outputs.cache-primary-key }}
path: ${{ steps.setup-haskell.outputs.cabal-store }}
timeout-minutes: 60
name: Install (v2-cabal)
'on':
pull_request:
paths:
- .github/workflows/cabal-install.yml
- Agda.cabal
- Setup.hs
- src/full/**
- src/main/**
push:
branches:
- master
- ci-*
- release*
paths:
- .github/workflows/cabal-install.yml
- Agda.cabal
- Setup.hs
- src/full/**
- src/main/**