Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
732 workflow runs
732 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Rework displayed category reasoning. Ubuntu build #2623: Pull request #1153 opened by jpoiret
September 6, 2024 16:34 9m 30s jpoiret:display-category-reasoning
jpoiret:display-category-reasoning
September 6, 2024 16:34 9m 30s
pages build and deployment pages-build-deployment #305: by github-pages bot
September 6, 2024 09:20 51s
September 6, 2024 09:20 51s
Add Boolean Rings (#1146) Ubuntu build #2622: Commit 760a894 pushed by felixwellen
September 6, 2024 09:14 6m 27s master
master
September 6, 2024 09:14 6m 27s
Add Boolean Rings Ubuntu build #2621: Pull request #1146 synchronize by Freek98
September 5, 2024 15:53 5m 6s Freek98:boolean-algebra
Freek98:boolean-algebra
September 5, 2024 15:53 5m 6s
WildCat, Groupoid, Group - Solvers Ubuntu build #2619: Pull request #1119 synchronize by marcinjangrzybowski
September 2, 2024 21:35 32m 35s marcinjangrzybowski:groupoid-solve
marcinjangrzybowski:groupoid-solve
September 2, 2024 21:35 32m 35s
WildCat, Groupoid, Group - Solvers Ubuntu build #2618: Pull request #1119 synchronize by marcinjangrzybowski
September 2, 2024 20:46 2m 19s marcinjangrzybowski:groupoid-solve
marcinjangrzybowski:groupoid-solve
September 2, 2024 20:46 2m 19s
Univalent Category of SETOIDs , Setoids are not LCCC Ubuntu build #2617: Pull request #1152 opened by marcinjangrzybowski
September 2, 2024 20:21 33m 42s marcinjangrzybowski:setoid-slice
marcinjangrzybowski:setoid-slice
September 2, 2024 20:21 33m 42s
Base change, sliced adjoints Ubuntu build #2616: Pull request #1120 synchronize by marcinjangrzybowski
September 2, 2024 19:59 7m 37s marcinjangrzybowski:sliced-adjoints
marcinjangrzybowski:sliced-adjoints
September 2, 2024 19:59 7m 37s
Base change, sliced adjoints Ubuntu build #2615: Pull request #1120 synchronize by marcinjangrzybowski
September 2, 2024 19:50 8m 46s marcinjangrzybowski:sliced-adjoints
marcinjangrzybowski:sliced-adjoints
September 2, 2024 19:50 8m 46s
Base change, sliced adjoints Ubuntu build #2614: Pull request #1120 synchronize by marcinjangrzybowski
September 2, 2024 19:35 9m 55s marcinjangrzybowski:sliced-adjoints
marcinjangrzybowski:sliced-adjoints
September 2, 2024 19:35 9m 55s
Base change, sliced adjoints Ubuntu build #2613: Pull request #1120 synchronize by marcinjangrzybowski
September 2, 2024 15:08 2m 19s marcinjangrzybowski:sliced-adjoints
marcinjangrzybowski:sliced-adjoints
September 2, 2024 15:08 2m 19s
pages build and deployment pages-build-deployment #304: by github-pages bot
September 2, 2024 08:21 47s
September 2, 2024 08:21 47s
CommAlgebras as CommRingHoms Ubuntu build #2612: Pull request #1145 synchronize by felixwellen
September 2, 2024 07:58 17m 48s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
September 2, 2024 07:58 17m 48s
Pi4S3 Paper (#1151) Ubuntu build #2611: Commit e2cf0ab pushed by mortberg
September 2, 2024 07:30 50m 15s master
master
September 2, 2024 07:30 50m 15s
Pi4S3 Paper Ubuntu build #2610: Pull request #1151 opened by aljungstrom
August 31, 2024 11:39 49m 14s aljungstrom:extended_paper
aljungstrom:extended_paper
August 31, 2024 11:39 49m 14s