Skip to content

github_actions in /. for leanprover/lean-action - Update #874202870 #30

github_actions in /. for leanprover/lean-action - Update #874202870

github_actions in /. for leanprover/lean-action - Update #874202870 #30

Triggered via dynamic August 26, 2024 14:22
Status Success
Total duration 40s
Artifacts

dependabot-updates

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