Skip to content
Semantic Release Test Installation

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

Sign in to view logs

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

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

Triggered via pull request July 22, 2024 15:59
@dependabotdependabot[bot]
synchronize #1200
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.7.1
Status Success
Total duration 6m 28s
Artifacts –

sem_ver.yml

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