Skip to content

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

Sign in to view logs

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

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

Triggered via dynamic August 20, 2024 20:10
@dependabotdependabot[bot]
⁠ fdefaff
main
Status Success
Total duration 1m 5s
Artifacts –

dependabot-updates

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