Skip to content
Semantic Release Test Installation

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

Sign in to view logs

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

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

Triggered via pull request July 26, 2024 16:43
@dependabotdependabot[bot]
synchronize #1213
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.7.2
Status Success
Total duration 1m 4s
Artifacts –

sem_ver.yml

on: pull_request
semantic-release
54s
semantic-release
Fit to window
Zoom out
Zoom in