Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283 workflow runs
283 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #433 from agda/dependabot/github_actions/JamesIves… Ubuntu build #456: Commit 6c550ab pushed by JacquesCarette
September 3, 2024 11:56 41m 7s master
master
September 3, 2024 11:56 41m 7s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 Ubuntu build #455: Pull request #433 opened by dependabot bot
September 3, 2024 07:09 41m 18s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
September 3, 2024 07:09 41m 18s
github_actions in /. - Update #878445807 Dependabot Updates #40: by dependabot bot
September 3, 2024 07:09 35s master
master
September 3, 2024 07:09 35s
github_actions in /. - Update #877681299 Dependabot Updates #39: by dependabot bot
September 2, 2024 07:16 36s master
master
September 2, 2024 07:16 36s
github_actions in /. - Update #876427809 Dependabot Updates #38: by dependabot bot
August 30, 2024 07:48 40s master
master
August 30, 2024 07:48 40s
github_actions in /. - Update #875853872 Dependabot Updates #37: by dependabot bot
August 29, 2024 07:14 39s master
master
August 29, 2024 07:14 39s
github_actions in /. - Update #875314679 Dependabot Updates #36: by dependabot bot
August 28, 2024 07:28 1m 44s master
master
August 28, 2024 07:28 1m 44s
github_actions in /. - Update #874773369 Dependabot Updates #35: by dependabot bot
August 27, 2024 07:52 37s master
master
August 27, 2024 07:52 37s
github_actions in /. - Update #873895977 Dependabot Updates #34: by dependabot bot
August 26, 2024 07:12 35s master
master
August 26, 2024 07:12 35s
github_actions in /. - Update #873145625 Dependabot Updates #33: by dependabot bot
August 23, 2024 07:49 37s master
master
August 23, 2024 07:49 37s
github_actions in /. - Update #872638349 Dependabot Updates #32: by dependabot bot
August 22, 2024 08:00 35s master
master
August 22, 2024 08:00 35s
github_actions in /. - Update #872146521 Dependabot Updates #31: by dependabot bot
August 21, 2024 07:18 34s master
master
August 21, 2024 07:18 34s
github_actions in /. - Update #871643317 Dependabot Updates #30: by dependabot bot
August 20, 2024 07:16 36s master
master
August 20, 2024 07:16 36s
github_actions in /. - Update #870895562 Dependabot Updates #29: by dependabot bot
August 19, 2024 07:58 38s master
master
August 19, 2024 07:58 38s
github_actions in /. - Update #870198382 Dependabot Updates #28: by dependabot bot
August 16, 2024 07:50 35s master
master
August 16, 2024 07:50 35s
github_actions in /. - Update #869736222 Dependabot Updates #27: by dependabot bot
August 15, 2024 07:47 36s master
master
August 15, 2024 07:47 36s
github_actions in /. - Update #869237505 Dependabot Updates #26: by dependabot bot
August 14, 2024 07:06 33s master
master
August 14, 2024 07:06 33s
github_actions in /. - Update #868773240 Dependabot Updates #25: by dependabot bot
August 13, 2024 07:58 36s master
master
August 13, 2024 07:58 36s
github_actions in /. - Update #868007971 Dependabot Updates #24: by dependabot bot
August 12, 2024 08:02 39s master
master
August 12, 2024 08:02 39s
github_actions in /. - Update #867283955 Dependabot Updates #23: by dependabot bot
August 9, 2024 07:24 32s master
master
August 9, 2024 07:24 32s
github_actions in /. - Update #866811805 Dependabot Updates #22: by dependabot bot
August 8, 2024 07:52 39s master
master
August 8, 2024 07:52 39s
github_actions in /. - Update #866266066 Dependabot Updates #21: by dependabot bot
August 7, 2024 07:16 35s master
master
August 7, 2024 07:16 35s
github_actions in /. - Update #865768984 Dependabot Updates #20: by dependabot bot
August 6, 2024 07:24 40s master
master
August 6, 2024 07:24 40s
github_actions in /. - Update #864980434 Dependabot Updates #19: by dependabot bot
August 5, 2024 07:55 40s master
master
August 5, 2024 07:55 40s
github_actions in /. - Update #864212094 Dependabot Updates #18: by dependabot bot
August 2, 2024 07:09 32s master
master
August 2, 2024 07:09 32s