Skip to content

Actions: agda/agda-categories

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
Pullback properties Ubuntu build #490: Pull request #449 synchronize by frederikgebert
February 6, 2025 18:20 40m 27s frederikgebert:pullback-properties
frederikgebert:pullback-properties
February 6, 2025 18:20 40m 27s
Pullback properties Ubuntu build #489: Pull request #449 synchronize by frederikgebert
February 6, 2025 15:42 40m 29s frederikgebert:pullback-properties
frederikgebert:pullback-properties
February 6, 2025 15:42 40m 29s
Merge pull request #448 from t-wissmann/cone-functors Ubuntu build #487: Commit 047e7a8 pushed by JacquesCarette
January 29, 2025 19:06 41m 59s master
master
January 29, 2025 19:06 41m 59s
Add functors between (co)cone categories Ubuntu build #486: Pull request #448 synchronize by t-wissmann
January 27, 2025 13:34 45m 52s t-wissmann:cone-functors
t-wissmann:cone-functors
January 27, 2025 13:34 45m 52s
Add functors between (co)cone categories Ubuntu build #485: Pull request #448 synchronize by t-wissmann
January 27, 2025 13:13 Action required t-wissmann:cone-functors
t-wissmann:cone-functors
January 27, 2025 13:13 Action required
Add functors between (co)cone categories Ubuntu build #484: Pull request #448 opened by t-wissmann
January 27, 2025 11:34 Action required t-wissmann:cone-functors
t-wissmann:cone-functors
January 27, 2025 11:34 Action required
Merge pull request #447 from jacquescomeaux/op-cartesian-nat-iso-fix Ubuntu build #483: Commit a797628 pushed by JacquesCarette
January 17, 2025 15:12 40m 24s master
master
January 17, 2025 15:12 40m 24s
Fix type of exported natural isomorphisms Ubuntu build #482: Pull request #447 opened by jacquescomeaux
January 15, 2025 21:54 40m 38s jacquescomeaux:op-cartesian-nat-iso-fix
jacquescomeaux:op-cartesian-nat-iso-fix
January 15, 2025 21:54 40m 38s
Merge pull request #446 from jacquescomeaux/add-pushout-predicate Ubuntu build #481: Commit 46bfebd pushed by JacquesCarette
December 10, 2024 00:51 4m 47s master
master
December 10, 2024 00:51 4m 47s
Merge pull request #445 from jacquescomeaux/pushout-up-to-iso-fix Ubuntu build #480: Commit f274d80 pushed by JacquesCarette
December 10, 2024 00:49 1m 35s master
master
December 10, 2024 00:49 1m 35s
Merge pull request #444 from agda/dependabot/github_actions/JamesIves… Ubuntu build #479: Commit 7edab60 pushed by JacquesCarette
December 10, 2024 00:46 1m 28s master
master
December 10, 2024 00:46 1m 28s
Add predicate form for pushouts Ubuntu build #478: Pull request #446 opened by jacquescomeaux
December 9, 2024 19:50 4m 49s jacquescomeaux:add-pushout-predicate
jacquescomeaux:add-pushout-predicate
December 9, 2024 19:50 4m 49s
Remove extraneous up-to-iso argument Ubuntu build #477: Pull request #445 opened by jacquescomeaux
December 7, 2024 18:37 1m 32s jacquescomeaux:pushout-up-to-iso-fix
jacquescomeaux:pushout-up-to-iso-fix
December 7, 2024 18:37 1m 32s
Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 Ubuntu build #476: Pull request #444 opened by dependabot bot
December 4, 2024 07:24 1m 26s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
December 4, 2024 07:24 1m 26s