test.yml

######################################################
##                                                  ##
##  !!!! Autogenerated YAML file, do not edit !!!!  ##
##                                                  ##
##  Edit source in /src/github/workflows/ instead!  ##
##                                                  ##
######################################################
env:
  AGDA_TESTS_OPTIONS: -j${PARALLEL_TESTS} --hide-successes
  BUILD_DIR: dist
  GHC_VER: 9.4.3
  PARALLEL_TESTS: 2
  STACK: stack --system-ghc
  STACK_VER: 2.9.1
  TASTY_ANSI_TRICKS: 'false'
jobs:
  build:
    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-22.04
    steps:
    - uses: styfle/cancel-workflow-action@0.11.0
      with:
        access_token: ${{ github.token }}
    - uses: actions/checkout@v3
      with:
        submodules: recursive
    - uses: haskell/actions/setup@v2
      with:
        enable-stack: true
        ghc-version: ${{ env.GHC_VER }}
        stack-version: ${{ env.STACK_VER }}
    - name: Copy stack-${{ env.GHC_VER}}.yaml to stack.yaml
      run: cp stack-${{ env.GHC_VER }}.yaml stack.yaml
    - id: cache
      name: Cache dependencies
      uses: actions/cache@v3
      with:
        key: ${{ runner.os }}-stack-${{ env.STACK_VER }}-${{ env.GHC_VER }}-${{ hashFiles('stack.yaml')
          }}
        path: ~/.stack
    - name: Install dependencies for Agda and its test suites
      run: make install-deps
    - name: Build Agda
      run: make BUILD_DIR="${BUILD_DIR}" install-bin
    - name: Run tests for the size solver
      run: |
        export PATH=${HOME}/.local/bin:${PATH}
        make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" size-solver-test
    - name: Pack artifacts
      run: |
        strip ${BUILD_DIR}/build/agda-tests/agda-tests \
          ${BUILD_DIR}/build/agda/agda \
          ${BUILD_DIR}/build/agda-mode/agda-mode

        tar --use-compress-program zstd -cvf dist.tzst \
          ${BUILD_DIR}/build/agda-tests/agda-tests \
          ${BUILD_DIR}/build/agda/agda \
          ${BUILD_DIR}/build/agda-mode/agda-mode

        tar --use-compress-program zstd -cvf stack-work.tzst .stack-work stack.yaml stack.yaml.lock
    - name: Upload artifacts
      uses: actions/upload-artifact@v3
      with:
        if-no-files-found: error
        name: agda-${{ runner.os }}-${{ github.sha }}
        path: |
          dist.tzst
          stack-work.tzst
        retention-days: 1
  cubical:
    needs: build
    runs-on: ubuntu-22.04
    steps:
    - uses: actions/checkout@v3
      with:
        submodules: recursive
    - uses: haskell/actions/setup@v2
      with:
        enable-stack: true
        ghc-version: ${{ env.GHC_VER }}
        stack-version: ${{ env.STACK_VER }}
    - uses: actions/download-artifact@v3
      with:
        name: agda-${{ runner.os }}-${{ github.sha }}
    - name: Unpack artifacts
      run: |
        tar --use-compress-program zstd -xvf dist.tzst
        tar --use-compress-program zstd -xvf stack-work.tzst
    - id: cache
      name: Cache dependencies
      uses: actions/cache@v3
      with:
        key: ${{ runner.os }}-stack-${{ env.STACK_VER }}-${{ env.GHC_VER }}-${{ hashFiles('stack.yaml')
          }}
        path: ~/.stack
    - name: Cubical library test
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" cubical-test
    - name: Successful tests using the cubical library
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" cubical-succeed
  interaction-latex-html:
    needs: build
    runs-on: ubuntu-22.04
    steps:
    - uses: actions/checkout@v3
      with:
        submodules: recursive
    - uses: haskell/actions/setup@v2
      with:
        enable-stack: true
        ghc-version: ${{ env.GHC_VER }}
        stack-version: ${{ env.STACK_VER }}
    - uses: actions/download-artifact@v3
      with:
        name: agda-${{ runner.os }}-${{ github.sha }}
    - name: Unpack artifacts
      run: |
        tar --use-compress-program zstd -xvf dist.tzst
        tar --use-compress-program zstd -xvf stack-work.tzst
    - id: cache
      name: Cache dependencies
      uses: actions/cache@v3
      with:
        key: ${{ runner.os }}-stack-${{ env.STACK_VER }}-${{ env.GHC_VER }}-${{ hashFiles('stack.yaml')
          }}
        path: ~/.stack
    - name: Install Tex Live and Emacs
      run: |
        sudo apt-get update
        sudo apt-get install texlive-binaries ${APT_GET_OPTS}
        sudo apt-get install emacs-nox ${APT_GET_OPTS}
    - name: Suite of tests for the LaTeX and HTML backends
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" DONT_RUN_LATEX=Y latex-html-test
    - name: Testing the Emacs mode
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" testing-emacs-mode
    - name: Suite of interaction tests
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" interaction
  stdlib-test:
    needs: build
    runs-on: ubuntu-22.04
    steps:
    - uses: actions/checkout@v3
      with:
        submodules: recursive
    - uses: haskell/actions/setup@v2
      with:
        enable-stack: true
        ghc-version: ${{ env.GHC_VER }}
        stack-version: ${{ env.STACK_VER }}
    - uses: actions/download-artifact@v3
      with:
        name: agda-${{ runner.os }}-${{ github.sha }}
    - name: Unpack artifacts
      run: |
        tar --use-compress-program zstd -xvf dist.tzst
        tar --use-compress-program zstd -xvf stack-work.tzst
    - id: cache
      name: Cache dependencies
      uses: actions/cache@v3
      with:
        key: ${{ runner.os }}-stack-${{ env.STACK_VER }}-${{ env.GHC_VER }}-${{ hashFiles('stack.yaml')
          }}
        path: ~/.stack
    - name: Standard library test
      run: |
        # ASR (2021-01-17). `cabal update` is required due to #5138.
        # We should also use `stack` in this test.
        cabal update
        make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" std-lib-test
    - name: Standard library compiler tests
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" std-lib-compiler-test
    - name: Successful tests using the standard library
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" std-lib-succeed
    - name: Interaction tests using the standard library
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" std-lib-interaction
  test:
    needs: build
    runs-on: ubuntu-22.04
    steps:
    - uses: actions/checkout@v3
      with:
        submodules: recursive
    - uses: haskell/actions/setup@v2
      with:
        enable-stack: true
        ghc-version: ${{ env.GHC_VER }}
        stack-version: ${{ env.STACK_VER }}
    - uses: actions/download-artifact@v3
      with:
        name: agda-${{ runner.os }}-${{ github.sha }}
    - name: Unpack artifacts
      run: |
        tar --use-compress-program zstd -xvf dist.tzst
        tar --use-compress-program zstd -xvf stack-work.tzst
    - id: cache
      name: Cache dependencies
      uses: actions/cache@v3
      with:
        key: ${{ runner.os }}-stack-${{ env.STACK_VER }}-${{ env.GHC_VER }}-${{ hashFiles('stack.yaml')
          }}
        path: ~/.stack
    - name: Suite of tests for bugs
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" bugs
    - name: 'Suite of successful tests: mini-library Common'
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" common
    - name: Suite of successful tests
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" succeed
    - name: Suite of failing tests
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" fail
    - name: User manual (test)
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" user-manual-test
    - name: Suite of examples
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" examples
    - name: Suite of interactive tests
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" interactive
    - name: Successful tests using Agda as a Haskell library
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" api-test
    - name: Internal test suite
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" internal-tests
    - name: Benchmark
      run: |
        make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" benchmark-without-logs
        make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" benchmark-summary
    - name: Compiler tests
      run: make BUILD_DIR="${GITHUB_WORKSPACE}/${BUILD_DIR}" compiler-test
name: Build, Test, and Benchmark
'on':
  pull_request:
    paths:
    - '**'
    - '!.github/**'
    - .github/workflows/test.yml
    - '!src/github/**'
    - src/github/workflows/test.yml
    - '!src/agda-bisect/**'
    - '!src/fix-whitespace/**'
    - '!src/hs-tags/**'
    - '!src/release-tools/**'
    - '!.travis'
    - '!macros/**'
    - '!notes/**'
    - '!.mailmap'
    - '!.gitignore'
    - '!.hlint.yaml'
    - '!.travis.yml'
    - '!CHANGELOG.md'
    - '!HACKING.md'
    - '!LICENSE'
    - '!README.md'
    - '!fix-whitespace.yaml'
    - '!hie*.yaml'
    - '!stack-*.yaml'
    - '!touchup.sh'
  push:
    branches:
    - master
    - ci-*
    - release*
    paths:
    - '**'
    - '!.github/**'
    - .github/workflows/test.yml
    - '!src/github/**'
    - src/github/workflows/test.yml
    - '!src/agda-bisect/**'
    - '!src/fix-whitespace/**'
    - '!src/hs-tags/**'
    - '!src/release-tools/**'
    - '!.travis'
    - '!macros/**'
    - '!notes/**'
    - '!.mailmap'
    - '!.gitignore'
    - '!.hlint.yaml'
    - '!.travis.yml'
    - '!CHANGELOG.md'
    - '!HACKING.md'
    - '!LICENSE'
    - '!README.md'
    - '!fix-whitespace.yaml'
    - '!hie*.yaml'
    - '!stack-*.yaml'
    - '!touchup.sh'
  workflow_dispatch: null