Skip to content

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

Sign in to view logs

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

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

Triggered via dynamic August 26, 2024 21:30
@dependabotdependabot[bot]
⁠ 6128a39
main
Status Success
Total duration 50s
Artifacts –

dependabot-updates

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