Skip to content
Duvet report

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
duvet
1m 1s
1m 1s