Get aptos action

This GitHub Action delivers specified aptos release for a Aptos network.

Please note that this is an initial release and will be improved as the Aptos team make decisions on versioning, naming releases etc.

Parameters

• version - Specified version of the release. Optional. Default value is latest.
• prerelease - Allow pre-release. Default value is false.
• token - GITHUB_TOKEN. Optional.
• prover - Installs Move prover tools (z3, cvc5, dotnet, boogie). Default value is false.

Usage Example

Download the latest version of aptos

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

Download a specific version of aptos

- name: get aptos
  uses: pontem-network/get-aptos@main
  with:
    version: 0.1.1

Allow downloading pre-releases

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

Download a specific version of aptos and token

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

Install Move prover tools (z3, cvc5, dotnet, boogie)

- name: get aptos
  uses: pontem-network/get-aptos@main
  with:
    prover: "true"