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

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

Triggered via pull request July 26, 2024 16:42
@ajewellamzajewellamz
synchronize #1200
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.7.1
Status Success
Total duration 1m 8s
Artifacts –

sem_ver.yml

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