Code

Specify latest version in README#16

Code

Open

robin-aws wants to merge 3 commits intomaindafny-lang/setup-dafny-action:mainfrom robin-aws-patch-1dafny-lang/setup-dafny-action:robin-aws-patch-1Copy head branch name to clipboard

+2-2

Commits

Commits on Mar 3, 2023

• Specify latest version in README

  robin-aws

  authored
  68dcc7e

  Copy full SHA for 68dcc7e

Commits on Mar 27, 2024

• Apply suggestions from code review

  Show description for dd0cdb0
  

  robin-aws

  and

  sebimohr

  authored
  dd0cdb0

  Copy full SHA for dd0cdb0

Commits on Jan 16, 2025

• 1.8.0 released now

  robin-aws

  committed
  80a2097

  Copy full SHA for 80a2097