Skip to content

Get dove

Actions
Download dove tool for move-lang
v1.0.5
Latest
Star (2)

Get dove Action

This GitHub Action delivers specified dove release for a Move language.

Parameters

  • version - Specified version of the release. Optional. Default value is latest.
  • prerelease - Allow pre-release. Default value is false.
  • boogie- Additionaly install Z3 and Boogie needed for dove prove. Default value is false.
  • token - GITHUB_TOKEN. Optional.

Usage Example

Download the latest version of dove

- name: get dove
  uses: pontem-network/get-dove@main

Download a specific version of dove

- name: get dove
  uses: pontem-network/get-dove@main
  with:
    version: 1.2.2

Allow downloading pre-releases

- name: get dove
  uses: pontem-network/get-dove@main
  with:
    prerelease: "true"

Download a specific version of dove and token

- name: get dove
  uses: pontem-network/get-dove@main
  with:
    version: 1.2.0
    token: ${{ secrets.GITHUB_TOKEN }}

Download a latest version of dove with boogie, using token

- name: get dove
  uses: pontem-network/get-dove@main
  with:
    version: latest
    boogie: true
    token: ${{ secrets.GITHUB_TOKEN }}

Get dove is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.

About

Download dove tool for move-lang
v1.0.5
Latest

Get dove is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.