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 #491

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 #491

Triggered via pull request July 23, 2024 03:24
@dependabotdependabot[bot]
opened #1213
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.7.2
Status Success
Total duration 1m 22s
Artifacts –

sem_ver.yml

on: pull_request
semantic-release
1m 9s
semantic-release
Fit to window
Zoom out
Zoom in