GitHub composite action to install Agda from the official deployed binaries and optionally the Agda standard library.

It supports Agda 2.8.0 (and up). For older Agda versions, please use wenkokke/setup-agda.

• Installs Agda from official GitHub releases.
• Optional installation of the Agda standard library.
• Cross-platform support:
  • Linux
  • Windows
  • macOS (ARM and x86)
• Outputs the path to the Agda executable and Agda application directory.

- name: Setup Agda
  uses: agda/agda-setup-action@v1

- name: Setup Agda with stdlib
  uses: agda/agda-setup-action@v1
  with:
    agda-version: '2.8.0'
    agda-stdlib-version: '2.3'

- name: Setup Agda
  id: setup-agda
  uses: agda/agda-setup-action@v1
  with:
    agda-version: '2.8.0'
    agda-stdlib-version: '2.3'

- name: Use Agda
  run: |
    echo "Agda path: ${{ steps.setup-agda.outputs.agda-path }}"
    echo "Agda dir: ${{ steps.setup-agda.outputs.agda-dir }}"
    agda --version

If the standard library is installed, it is also added to the default libraries:

• The path to standard-library.agda-lib is added to the libraries file in the Agda directory (${{ steps.setup-agda.outputs.agda-dir }}).
• The string standard-library-${{ agda-stdlib-version }} is added to the defaults file there.

name: Build with Agda

on: [push, pull_request]

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v5

      - name: Setup Agda
        uses: agda/agda-setup-action@v1
        with:
          agda-version: '2.8.0'
          agda-stdlib-version: '2.3'

      - name: Build Agda files
        run: agda Main.agda

This action supports the following platforms:

• Linux, e.g. ubuntu-latest
• Windows, e.g. windows-latest
• macOS ARM, e.g. macos-latest
• macOS x86, e.g. macos-15-intel

The action automatically detects the platform and downloads the appropriate binary for your runner.

This project is licensed under the BSD 3-clause license.