Skip to content
Check Smithy Files

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
require-approvals
4s
4s