Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bring End and Coend properties to parity Ubuntu build #500: Pull request #453 synchronize by Taneb
February 24, 2025 12:04 5m 11s more-coend-stuff
more-coend-stuff
February 24, 2025 12:04 5m 11s
Bring End and Coend properties to parity Ubuntu build #499: Pull request #453 opened by Taneb
February 24, 2025 10:57 2m 47s more-coend-stuff
more-coend-stuff
February 24, 2025 10:57 2m 47s
github_actions in /. - Update #969332175 Dependabot Updates #165: by dependabot bot
February 24, 2025 07:29 37s master
master
February 24, 2025 07:29 37s
github_actions in /. - Update #969318144 Dependabot Updates #164: by dependabot bot
February 24, 2025 07:14 33s master
master
February 24, 2025 07:14 33s
pages build and deployment pages-build-deployment #63: by github-pages bot
February 22, 2025 21:08 40s gh-pages
gh-pages
February 22, 2025 21:08 40s
Merge pull request #452 from agda/limits-refactor Ubuntu build #498: Commit 98c8a1b pushed by JacquesCarette
February 22, 2025 21:04 3m 36s master
master
February 22, 2025 21:04 3m 36s
Factor (co)end (co)limits into their own modules Ubuntu build #497: Pull request #452 synchronize by Taneb
February 22, 2025 15:13 3m 20s limits-refactor
limits-refactor
February 22, 2025 15:13 3m 20s
Factor (co)end (co)limits into their own modules Ubuntu build #496: Pull request #452 opened by Taneb
February 22, 2025 09:54 2m 7s limits-refactor
limits-refactor
February 22, 2025 09:54 2m 7s
pages build and deployment pages-build-deployment #62: by github-pages bot
February 21, 2025 22:22 36s gh-pages
gh-pages
February 21, 2025 22:22 36s
Merge pull request #451 from agda/coend-colimits Ubuntu build #495: Commit 58c75ac pushed by JacquesCarette
February 21, 2025 22:20 2m 14s master
master
February 21, 2025 22:20 2m 14s
Copy over a couple of properties from ends to coends Ubuntu build #494: Pull request #451 opened by Taneb
February 21, 2025 14:40 2m 14s coend-colimits
coend-colimits
February 21, 2025 14:40 2m 14s
github_actions in /. - Update #968441867 Dependabot Updates #163: by dependabot bot
February 21, 2025 07:42 37s master
master
February 21, 2025 07:42 37s
pages build and deployment pages-build-deployment #61: by github-pages bot
February 20, 2025 22:39 36s gh-pages
gh-pages
February 20, 2025 22:39 36s
Merge pull request #449 from frederikgebert/pullback-properties Ubuntu build #493: Commit 8509bc5 pushed by JacquesCarette
February 20, 2025 22:37 1m 57s master
master
February 20, 2025 22:37 1m 57s
Merge pull request #450 from agda/dependabot/github_actions/JamesIves… Ubuntu build #492: Commit a66830c pushed by JacquesCarette
February 20, 2025 21:54 40m 9s master
master
February 20, 2025 21:54 40m 9s
Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3 Ubuntu build #491: Pull request #450 opened by dependabot bot
February 20, 2025 07:40 41m 32s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.3
February 20, 2025 07:40 41m 32s
github_actions in /. - Update #967859764 Dependabot Updates #162: by dependabot bot
February 20, 2025 07:40 41s master
master
February 20, 2025 07:40 41s
github_actions in /. - Update #966535562 Dependabot Updates #161: by dependabot bot
February 18, 2025 07:55 32s master
master
February 18, 2025 07:55 32s
github_actions in /. - Update #965584491 Dependabot Updates #160: by dependabot bot
February 17, 2025 07:22 32s master
master
February 17, 2025 07:22 32s
github_actions in /. - Update #964370220 Dependabot Updates #159: by dependabot bot
February 14, 2025 07:44 37s master
master
February 14, 2025 07:44 37s
github_actions in /. - Update #963771959 Dependabot Updates #158: by dependabot bot
February 13, 2025 07:43 36s master
master
February 13, 2025 07:43 36s
github_actions in /. - Update #963024157 Dependabot Updates #157: by dependabot bot
February 12, 2025 07:10 31s master
master
February 12, 2025 07:10 31s
github_actions in /. - Update #962247099 Dependabot Updates #156: by dependabot bot
February 11, 2025 07:22 30s master
master
February 11, 2025 07:22 30s
github_actions in /. - Update #961266081 Dependabot Updates #155: by dependabot bot
February 10, 2025 07:44 34s master
master
February 10, 2025 07:44 34s
github_actions in /. - Update #960432301 Dependabot Updates #154: by dependabot bot
February 7, 2025 07:40 37s master
master
February 7, 2025 07:40 37s