Github action to install a specific version of https://dhall-lang.org.

This will add the following executables to your PATH, making them available for further actions:

• dhall
• dhall-to-json
• dhall-to-yaml
• json-to-dhall
• yaml-to-dhall

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - uses: dhall-lang/setup-dhall@v4
      - run: dhall version

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - uses: dhall-lang/setup-dhall@v4
        with:
          version: '1.28.0'
      - run: dhall version
      - run: dhall-to-json --version

If the action fails, it could be because GitHub rate limits anonymous requests to the API. In that case, the action will log an error message that looks something like this:

##[error]Failed to fetch releases from GitHub API, providing a token may help.
Error: {"message":"API rate limit exceeded for 1.1.1.1. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)","documentation_url":"https://developer.github.com/v3/#rate-limiting"}

As the error indicates, making the request as an authenticated user will grant a higher rate limit, so you can provide a github_token input to do so.

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - uses: dhall-lang/setup-dhall@v4
        with:
          version: '1.28.0'
          github_token: ${{ github.token }}
      - run: dhall version
      - run: dhall-to-json --version

• Add platform validation on action to fail early if an unsupported runner is used
• Add support for the macOS runner
• Add support for the Windows runner