Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
347 workflow runs
347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1011223787 Dependabot Updates #216: by dependabot bot
May 6, 2025 07:31 30s master
master
May 6, 2025 07:31 30s
pages build and deployment pages-build-deployment #72: by github-pages bot
May 6, 2025 01:15 43s gh-pages
gh-pages
May 6, 2025 01:15 43s
Merge pull request #464 from jacquescomeaux/missing-merge-combinators Ubuntu build #525: Commit a71c7b3 pushed by JacquesCarette
May 6, 2025 00:58 17m 39s master
master
May 6, 2025 00:58 17m 39s
Minor reasoning combinator updates Ubuntu build #524: Pull request #464 opened by jacquescomeaux
May 5, 2025 15:53 18m 24s jacquescomeaux:missing-merge-combinators
jacquescomeaux:missing-merge-combinators
May 5, 2025 15:53 18m 24s
github_actions in /. - Update #1010158447 Dependabot Updates #215: by dependabot bot
May 5, 2025 07:40 31s master
master
May 5, 2025 07:40 31s
pages build and deployment pages-build-deployment #71: by github-pages bot
May 3, 2025 00:58 42s gh-pages
gh-pages
May 3, 2025 00:58 42s
Merge pull request #463 from jacquescomeaux/product-properties-typo Ubuntu build #523: Commit 5f4ee43 pushed by JacquesCarette
May 3, 2025 00:17 40m 41s master
master
May 3, 2025 00:17 40m 41s
Fix typo in product of functors distributive law Ubuntu build #522: Pull request #463 opened by jacquescomeaux
May 2, 2025 23:15 40m 16s jacquescomeaux:product-properties-typo
jacquescomeaux:product-properties-typo
May 2, 2025 23:15 40m 16s
github_actions in /. - Update #1009272779 Dependabot Updates #214: by dependabot bot
May 2, 2025 07:42 29s master
master
May 2, 2025 07:42 29s
github_actions in /. - Update #1008202325 Dependabot Updates #213: by dependabot bot
May 1, 2025 07:58 31s master
master
May 1, 2025 07:58 31s
github_actions in /. - Update #1007254281 Dependabot Updates #212: by dependabot bot
April 30, 2025 07:40 31s master
master
April 30, 2025 07:40 31s
github_actions in /. - Update #1006560409 Dependabot Updates #211: by dependabot bot
April 29, 2025 07:26 34s master
master
April 29, 2025 07:26 34s
github_actions in /. - Update #1005463482 Dependabot Updates #210: by dependabot bot
April 28, 2025 07:46 30s master
master
April 28, 2025 07:46 30s
github_actions in /. - Update #1004586197 Dependabot Updates #209: by dependabot bot
April 25, 2025 08:00 27s master
master
April 25, 2025 08:00 27s
github_actions in /. - Update #1003800001 Dependabot Updates #208: by dependabot bot
April 24, 2025 07:21 31s master
master
April 24, 2025 07:21 31s
github_actions in /. - Update #1003243365 Dependabot Updates #207: by dependabot bot
April 23, 2025 07:44 34s master
master
April 23, 2025 07:44 34s
github_actions in /. - Update #1002604638 Dependabot Updates #206: by dependabot bot
April 22, 2025 07:14 36s master
master
April 22, 2025 07:14 36s
github_actions in /. - Update #1001676125 Dependabot Updates #205: by dependabot bot
April 21, 2025 07:51 29s master
master
April 21, 2025 07:51 29s
github_actions in /. - Update #1000758232 Dependabot Updates #204: by dependabot bot
April 18, 2025 07:21 36s master
master
April 18, 2025 07:21 36s
github_actions in /. - Update #1000180267 Dependabot Updates #203: by dependabot bot
April 17, 2025 07:23 29s master
master
April 17, 2025 07:23 29s
github_actions in /. - Update #999497560 Dependabot Updates #202: by dependabot bot
April 16, 2025 07:57 35s master
master
April 16, 2025 07:57 35s
github_actions in /. - Update #998876472 Dependabot Updates #201: by dependabot bot
April 15, 2025 07:43 36s master
master
April 15, 2025 07:43 36s
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