Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
725 workflow runs
725 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #309: by github-pages bot
September 11, 2024 15:10 50s
September 11, 2024 15:10 50s
pages build and deployment pages-build-deployment #308: by github-pages bot
September 11, 2024 15:04 44s
September 11, 2024 15:04 44s
Rework displayed category reasoning. (#1153) Ubuntu build #2644: Commit 581748b pushed by maxsnew
September 11, 2024 14:36 33m 53s master
master
September 11, 2024 14:36 33m 53s
Minor fix: improved definition of whitehead products (#1155) Ubuntu build #2643: Commit f3d8889 pushed by mortberg
September 11, 2024 14:30 34m 15s master
master
September 11, 2024 14:30 34m 15s
Rework displayed category reasoning. Ubuntu build #2642: Pull request #1153 synchronize by jpoiret
September 11, 2024 13:57 31m 47s jpoiret:display-category-reasoning
jpoiret:display-category-reasoning
September 11, 2024 13:57 31m 47s
Minor fix: improved definition of whitehead products Ubuntu build #2641: Pull request #1155 synchronize by aljungstrom
September 11, 2024 10:32 5m 30s aljungstrom:better_join
aljungstrom:better_join
September 11, 2024 10:32 5m 30s
Minor fix: improved definition of whitehead products Ubuntu build #2640: Pull request #1155 synchronize by aljungstrom
September 11, 2024 09:31 32m 39s aljungstrom:better_join
aljungstrom:better_join
September 11, 2024 09:31 32m 39s
Minor fix: improved definition of whitehead products Ubuntu build #2639: Pull request #1155 synchronize by aljungstrom
September 10, 2024 23:31 16m 48s aljungstrom:better_join
aljungstrom:better_join
September 10, 2024 23:31 16m 48s
Minor fix: improved definition of whitehead products Ubuntu build #2638: Pull request #1155 synchronize by aljungstrom
September 10, 2024 23:15 12m 42s aljungstrom:better_join
aljungstrom:better_join
September 10, 2024 23:15 12m 42s
Minor fix: improved definition of whitehead products Ubuntu build #2637: Pull request #1155 synchronize by aljungstrom
September 10, 2024 22:51 12m 9s aljungstrom:better_join
aljungstrom:better_join
September 10, 2024 22:51 12m 9s
Minor fix: improved definition of whitehead products Ubuntu build #2636: Pull request #1155 opened by aljungstrom
September 10, 2024 22:23 12m 6s aljungstrom:better_join
aljungstrom:better_join
September 10, 2024 22:23 12m 6s
pages build and deployment pages-build-deployment #307: by github-pages bot
September 10, 2024 19:37 47s
September 10, 2024 19:37 47s
(Displayed) Category Theory: Sections of displayed categories, Free C… Ubuntu build #2635: Commit f77e230 pushed by maxsnew
September 10, 2024 19:03 34m 11s master
master
September 10, 2024 19:03 34m 11s
(Displayed) Category Theory: Sections of displayed categories, Free Category 3.0 and UMPs are Props Ubuntu build #2634: Pull request #1149 synchronize by maxsnew
September 10, 2024 17:11 32m 11s maxsnew:sections-of-displayed-categories
maxsnew:sections-of-displayed-categories
September 10, 2024 17:11 32m 11s
pages build and deployment pages-build-deployment #306: by github-pages bot
September 10, 2024 13:57 54s
September 10, 2024 13:57 54s
Base change, sliced adjoints (#1120) Ubuntu build #2633: Commit fce3814 pushed by maxsnew
September 10, 2024 13:46 10m 36s master
master
September 10, 2024 13:46 10m 36s
Univalent Category of SETOIDs , Setoids are not LCCC Ubuntu build #2632: Pull request #1152 synchronize by marcinjangrzybowski
September 10, 2024 13:38 34m 20s marcinjangrzybowski:setoid-slice
marcinjangrzybowski:setoid-slice
September 10, 2024 13:38 34m 20s
Basic Order Theory Ubuntu build #2631: Pull request #1154 synchronize by LuuBluum
September 9, 2024 07:28 5m 23s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 9, 2024 07:28 5m 23s
Basic Order Theory Ubuntu build #2630: Pull request #1154 synchronize by LuuBluum
September 9, 2024 07:02 5m 28s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 9, 2024 07:02 5m 28s
Basic Order Theory Ubuntu build #2629: Pull request #1154 synchronize by LuuBluum
September 8, 2024 22:53 5m 27s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 8, 2024 22:53 5m 27s
Basic Order Theory Ubuntu build #2628: Pull request #1154 synchronize by LuuBluum
September 8, 2024 22:37 8m 23s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 8, 2024 22:37 8m 23s
Basic Order Theory Ubuntu build #2627: Pull request #1154 synchronize by LuuBluum
September 8, 2024 22:14 5m 1s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 8, 2024 22:14 5m 1s
Basic Order Theory Ubuntu build #2626: Pull request #1154 synchronize by LuuBluum
September 7, 2024 22:00 32m 6s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 7, 2024 22:00 32m 6s
Basic Order Theory Ubuntu build #2625: Pull request #1154 synchronize by LuuBluum
September 7, 2024 20:46 24m 31s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 7, 2024 20:46 24m 31s
Basic Order Theory Ubuntu build #2624: Pull request #1154 opened by LuuBluum
September 7, 2024 20:40 2m 22s LuuBluum:OrderTheory
LuuBluum:OrderTheory
September 7, 2024 20:40 2m 22s