Skip to content

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

Sign in to view logs

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

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

Triggered via dynamic July 24, 2024 20:54
@dependabotdependabot[bot]
⁠ 2289580
main
Status Success
Total duration 3m 28s
Artifacts –

dependabot-updates

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