Skip to content

Actions: agda/agda-categories

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #459 from agda/indexed-products-more-implicits Ubuntu build #513: Commit cce0761 pushed by JacquesCarette
March 3, 2025 12:39 5m 29s master
master
March 3, 2025 12:39 5m 29s
Make inferable arguments implicit in Product.Indexed.{commute,unqiue} Ubuntu build #512: Pull request #459 synchronize by Taneb
March 3, 2025 08:50 5m 24s indexed-products-more-implicits
indexed-products-more-implicits
March 3, 2025 08:50 5m 24s
Make inferable arguments implicit in Product.Indexed.{commute,unqiue} Ubuntu build #511: Pull request #459 opened by Taneb
March 3, 2025 08:20 5m 21s indexed-products-more-implicits
indexed-products-more-implicits
March 3, 2025 08:20 5m 21s
Merge pull request #455 from agda/adjoints-preserve-diagrams Ubuntu build #510: Commit 5331251 pushed by JacquesCarette
February 28, 2025 15:09 5m 32s master
master
February 28, 2025 15:09 5m 32s
Merge pull request #456 from agda/lift-equivalence Ubuntu build #509: Commit dca6bdc pushed by JacquesCarette
February 28, 2025 15:02 5m 19s master
master
February 28, 2025 15:02 5m 19s
Adjoints preserve diagrams Ubuntu build #508: Pull request #455 synchronize by Taneb
February 28, 2025 12:48 5m 10s adjoints-preserve-diagrams
adjoints-preserve-diagrams
February 28, 2025 12:48 5m 10s
liftC C is equivalent to C Ubuntu build #507: Pull request #456 synchronize by Taneb
February 28, 2025 11:40 5m 28s lift-equivalence
lift-equivalence
February 28, 2025 11:40 5m 28s
Locally Graded Categories Ubuntu build #506: Pull request #458 opened by TOTBWF
February 27, 2025 21:37 5m 21s TOTBWF:locally-graded
TOTBWF:locally-graded
February 27, 2025 21:37 5m 21s
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
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