Skip to content

chore(deps): bump dafny-lang/setup-dafny-action from 1.7.2 to 1.8.0 in /.github/workflows#1258

Closed
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.8.0

Commits

Commits on Aug 22, 2024