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

pages build and deployment pages-build-deployment #64: by github-pages bot
February 26, 2025 18:01 39s gh-pages
gh-pages
February 26, 2025 18:01 39s
Merge pull request #457 from agda/indexed-coproduct Ubuntu build #505: Commit 69f8c0e pushed by JacquesCarette
February 26, 2025 17:56 5m 23s master
master
February 26, 2025 17:56 5m 23s
Add indexed coproducts Ubuntu build #504: Pull request #457 opened by Taneb
February 26, 2025 10:43 13m 7s indexed-coproduct
indexed-coproduct
February 26, 2025 10:43 13m 7s
liftC C is equivalent to C Ubuntu build #503: Pull request #456 opened by Taneb
February 26, 2025 09:58 3m 34s lift-equivalence
lift-equivalence
February 26, 2025 09:58 3m 34s
Adjoints preserve diagrams Ubuntu build #502: Pull request #455 opened by Taneb
February 26, 2025 08:50 4m 5s adjoints-preserve-diagrams
adjoints-preserve-diagrams
February 26, 2025 08:50 4m 5s
github_actions in /. - Update #970920438 Dependabot Updates #167: by dependabot bot
February 26, 2025 07:52 33s master
master
February 26, 2025 07:52 33s
Adjoint equivalences preserve colimits Ubuntu build #501: Pull request #454 opened by Taneb
February 25, 2025 08:13 3m 29s adjoint-equiv-preserves-colimits
adjoint-equiv-preserves-colimits
February 25, 2025 08:13 3m 29s
github_actions in /. - Update #970313252 Dependabot Updates #166: by dependabot bot
February 25, 2025 07:44 39s master
master
February 25, 2025 07:44 39s
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