chore(deps): bump dafny-lang/setup-dafny-action from 1.8.0 to 1.9.1 in /.github/workflows#2017
Conversation
dependabot
bot
added
dependencies
dependabot
bot
added
dependencies
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
85291d0 to
e6cb29c
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
e6cb29c to
b4de472
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
b4de472 to
6af2b05
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
6af2b05 to
1e561a8
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
1e561a8 to
8c266a8
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
8c266a8 to
c2be2c1
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
c2be2c1 to
3e25773
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
3e25773 to
c5560ec
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
c5560ec to
d2b3d30
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
d2b3d30 to
61bdb1d
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
Bumps [dafny-lang/setup-dafny-action](https://github.com/dafny-lang/setup-dafny-action) from 1.8.0 to 1.9.1. - [Release notes](https://github.com/dafny-lang/setup-dafny-action/releases) - [Commits](dafny-lang/setup-dafny-action@v1.8.0...v1.9.1) --- updated-dependencies: - dependency-name: dafny-lang/setup-dafny-action dependency-version: 1.9.1 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com>
dependabot
bot
force-pushed
the
dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1
branch
from
61bdb1d to
c37c6c8
Compare
|
Detected changes to the release files or to the check-files action |
|
Changes to the release files or the check-files action requires 2 approvals from CODEOWNERS |
Bumps dafny-lang/setup-dafny-action from 1.8.0 to 1.9.1.
Release notes
Sourced from dafny-lang/setup-dafny-action's releases.
Commits
be023fcfix: Update distribution names for Dafny 4.11 (#31)ca6d80dfix: Split off setup-dafny-from-source-action (#28)f24d1ceMerge pull request #29 from dafny-lang/dotnet6796fa8change version03b219cSupport building Dafny from source (#26)You can trigger a rebase of this PR by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)