Skip to content

Actions: agda/fix-whitespace

Actions

Dependabot Updates

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Showing all updates from Dependabot. Learn about Dependabot updates.
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #954546942
Dependabot Updates #8: by dependabot bot
January 27, 2025 22:12 39s master
January 27, 2025 22:12 39s
github_actions in /. - Update #950922219
Dependabot Updates #7: by dependabot bot
January 20, 2025 22:17 31s master
January 20, 2025 22:17 31s
github_actions in /. - Update #947447101
Dependabot Updates #6: by dependabot bot
January 13, 2025 22:25 37s master
January 13, 2025 22:25 37s
github_actions in /. - Update #944015301
Dependabot Updates #5: by dependabot bot
January 6, 2025 22:37 31s master
January 6, 2025 22:37 31s
github_actions in /. - Update #940410334
Dependabot Updates #4: by dependabot bot
December 30, 2024 22:09 33s master
December 30, 2024 22:09 33s
github_actions in /. - Update #937405164
Dependabot Updates #3: by dependabot bot
December 23, 2024 22:14 32s master
December 23, 2024 22:14 32s
github_actions in /. - Update #933819094
Dependabot Updates #2: by dependabot bot
December 16, 2024 22:10 34s master
December 16, 2024 22:10 34s
github_actions in /. - Update #930088742
Dependabot Updates #1: by dependabot bot
December 9, 2024 22:36 35s master
December 9, 2024 22:36 35s