Skip to content
check-circle

GitHub Action

Install Dafny

v1.8.0 Latest version

Install Dafny

check-circle

Install Dafny

Install a packaged release of Dafny

Installation

Copy and paste the following snippet into your .yml file.

 
              
- name: Install Dafny

              
  uses: dafny-lang/[email protected]
Learn more about this action in dafny-lang/setup-dafny-action

Choose a version

Install Dafny

Validate action

A GitHub Action to download a binary release of Dafny and add it to the system $PATH.

- name: "Install Dafny"
  uses: dafny-lang/setup-dafny-action@v1

If you need to use a specific version:

- name: "Install Dafny"
  uses: dafny-lang/setup-dafny-action@v1
  with:
    dafny-version: "2.3.0"

You can also use nightly-latest to install the most recent nightly pre-release.

This action sets a DAFNY_VERSION environment variable for the benefit of subsequent steps containing the actual resolved Dafny version: particularly useful for nightly-latest!

This action transparently works on macOS by detecting the running OS. You can just set runs-on to a macOS virtual environment like macos-latest.