Skip to content

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

Sign in to view logs

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

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

Triggered via dynamic August 21, 2024 20:48
@dependabotdependabot[bot]
⁠ b7a91c9
main
Status Success
Total duration 48s
Artifacts –

dependabot-updates

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