Skip to content

github_actions in /.github/workflows for dafny-lang/setup-dafny-action - Update #858945408 #121

Sign in to view logs

github_actions in /.github/workflows for dafny-lang/setup-dafny-action - Update #858945408

github_actions in /.github/workflows for dafny-lang/setup-dafny-action - Update #858945408 #121

Triggered via dynamic July 22, 2024 15:58
@dependabotdependabot[bot]
⁠ 31c6b98
main
Status Success
Total duration 45s
Artifacts –

dependabot-updates

on: dynamic
Dependabot
36s
Dependabot
Fit to window
Zoom out
Zoom in