Skip to content

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

Sign in to view logs

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

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

Triggered via dynamic July 26, 2024 17:40
@dependabotdependabot[bot]
⁠ 5284f0b
main
Status Success
Total duration 59s
Artifacts –

dependabot-updates

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