What's Changed

• Support Agda v2.7.0
• Support agda-stdlib v2.1

The latest release always points to the latest commit for which the setup tests pass.

The custom binary distributions for Agda used by the action are attached to this release.

What's Changed

• Add support for Agda 2.6.4
• Add support for agda-stdlib 1.7.3
• Fix releases for Agda 2.5.3 and 2.5.4.2 on macOS

This release uses the same binaries as v2.0.0.

What's Changed

• Fix issue with installing cabal-plan
• Fix issue with action outputs (#183)
• Bump haskell/actions/setup v2.0.4 -> v2.4.3
• Bump NPM dependencies

This release uses the same binaries as v2.0.0.

What's Changed

• Added support for Agda 2.6.3
• Added support for license reports:
  • Added input bundle-license-report
• Removed support for configuration inference:
  • Added input configure-options
  • Removed inputs force-cluster-counting and force-no-cluster-counting
  • Removed inputs force-optimise-heavily and force-no-optimise-heavily
  • Removed input ghc-version-match-exact
  • Removed input ghc-version-range
• Renamed bdistinputs:
  • Renamed input bdist-upload to bundle
  • Renamed input bdist-name to bundle-name
  • Renamed input bdist-compress-exe to bundle-compress
  • Renamed input bdist-retention-days to bundle-retention-days
• Refactored code to enable the codebase to compile both to a GitHub Action (setup-agda) and a binary toolchain manager (agdaup)

Support for licenses

Added support for automatically generating a licenses.txt file when building a binary distribution, which includes the licenses for all Cabal dependencies, as well as the licenses for gmp, icu, and zlib.

Breaking changes

• The input agda-stdlib-default was removed in favour of agda-defaults.
• The support for installing Agda from the GitHub tool cache was removed,
  since Agda isn't in the tool cache, and dreaming proved too much work.

Bug fixes

There have been numerous bug fixes to account for either changes in behaviour of the GitHub runners (e.g., trailing newlines in pkg-config output) or in corner cases (e.g., use-cases which use Agda's allowlist for executables).

Support for libraries, defaults, and executables

Added support for automatically installing libraries from Git repositories, and for registering libraries, defaults, and executables.

agda-libraries

Takes a list of Agda libraries to install, specified by their Git URL and end in a version anchor, e.g.,

agda-libraries: |
  https://github.com/agda/agda-categories.git#v0.1.7.1
  https://github.com/agda/cubical.git#v0.3

To setup the Agda standard library, use "agda-stdlib-version" instead, as that ensures that the standard library and Agda versions are compatible.

This input requires that the library has a tagged release and that the repository contains a .agda-lib file, and relies on the convention that the filename of the .agda-lib file is the name of the library, and will refuse to install any library whose .agda-lib file is simple named ".agda-lib".

agda-defaults

Takes a list of installed Agda libraries to add to defaults.

agda-defaults: |
  agda-categories
  cubical

agda-executables

Takes a list of executables to register with Agda.
Executables must be specified by their name or path, e.g.,

agda-executables: |
  z3
  /bin/sh

Bug fixes

Fixed a bug where providing a concrete version number for agda-stdlib-version would cause the action to fail.