Semantic Release Test Installation

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

Sign in to view logs

Triggered via pull request August 20, 2024 22:10

dependabot[bot]

synchronize #1258

dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.8.0

Status Success

Total duration 1m 10s

Artifacts –

sem_ver.yml

on: pull_request

semantic-release