Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
330 workflow runs
330 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #997795459 Dependabot Updates #200: by dependabot bot
April 14, 2025 07:22 31s master
master
April 14, 2025 07:22 31s
github_actions in /. - Update #996833916 Dependabot Updates #199: by dependabot bot
April 11, 2025 07:10 35s master
master
April 11, 2025 07:10 35s
github_actions in /. - Update #996255026 Dependabot Updates #198: by dependabot bot
April 10, 2025 07:57 39s master
master
April 10, 2025 07:57 39s
github_actions in /. - Update #995640569 Dependabot Updates #197: by dependabot bot
April 9, 2025 07:56 36s master
master
April 9, 2025 07:56 36s
github_actions in /. - Update #995034990 Dependabot Updates #196: by dependabot bot
April 8, 2025 08:02 31s master
master
April 8, 2025 08:02 31s
github_actions in /. - Update #993974623 Dependabot Updates #195: by dependabot bot
April 7, 2025 08:01 33s master
master
April 7, 2025 08:01 33s
github_actions in /. - Update #992960452 Dependabot Updates #194: by dependabot bot
April 4, 2025 07:26 35s master
master
April 4, 2025 07:26 35s
github_actions in /. - Update #992380934 Dependabot Updates #193: by dependabot bot
April 3, 2025 07:33 33s master
master
April 3, 2025 07:33 33s
github_actions in /. - Update #991725176 Dependabot Updates #192: by dependabot bot
April 2, 2025 07:15 33s master
master
April 2, 2025 07:15 33s
github_actions in /. - Update #990716994 Dependabot Updates #191: by dependabot bot
April 1, 2025 08:03 32s master
master
April 1, 2025 08:03 32s
pages build and deployment pages-build-deployment #70: by github-pages bot
April 1, 2025 00:10 42s gh-pages
gh-pages
April 1, 2025 00:10 42s
Merge pull request #462 from agda/naturaltransformations-end Ubuntu build #521: Commit 424cfe2 pushed by JacquesCarette
April 1, 2025 00:09 1m 26s master
master
April 1, 2025 00:09 1m 26s
github_actions in /. - Update #989397058 Dependabot Updates #190: by dependabot bot
March 31, 2025 07:44 30s master
master
March 31, 2025 07:44 30s
The set of natural transformations between two functors is an end Ubuntu build #520: Pull request #462 opened by Taneb
March 28, 2025 07:44 1m 24s naturaltransformations-end
naturaltransformations-end
March 28, 2025 07:44 1m 24s
github_actions in /. - Update #988374073 Dependabot Updates #189: by dependabot bot
March 28, 2025 07:43 33s master
master
March 28, 2025 07:43 33s
pages build and deployment pages-build-deployment #69: by github-pages bot
March 28, 2025 00:06 39s gh-pages
gh-pages
March 28, 2025 00:06 39s
Merge pull request #461 from agda/building-ends Ubuntu build #519: Commit 38b96b2 pushed by JacquesCarette
March 27, 2025 23:18 47m 42s master
master
March 27, 2025 23:18 47m 42s
Building ends and coends Ubuntu build #518: Pull request #461 opened by Taneb
March 27, 2025 20:54 40m 49s building-ends
building-ends
March 27, 2025 20:54 40m 49s
github_actions in /. - Update #987751813 Dependabot Updates #188: by dependabot bot
March 27, 2025 07:46 34s master
master
March 27, 2025 07:46 34s
github_actions in /. - Update #987154472 Dependabot Updates #187: by dependabot bot
March 26, 2025 07:51 30s master
master
March 26, 2025 07:51 30s
github_actions in /. - Update #986457073 Dependabot Updates #186: by dependabot bot
March 25, 2025 07:56 31s master
master
March 25, 2025 07:56 31s
github_actions in /. - Update #985381582 Dependabot Updates #185: by dependabot bot
March 24, 2025 07:53 34s master
master
March 24, 2025 07:53 34s
github_actions in /. - Update #984326977 Dependabot Updates #184: by dependabot bot
March 21, 2025 07:43 31s master
master
March 21, 2025 07:43 31s
github_actions in /. - Update #983721056 Dependabot Updates #183: by dependabot bot
March 20, 2025 07:22 32s master
master
March 20, 2025 07:22 32s
github_actions in /. - Update #983060534 Dependabot Updates #182: by dependabot bot
March 19, 2025 07:05 30s master
master
March 19, 2025 07:05 30s