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

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
CommAlgebras as CommRingHoms Ubuntu build #2609: Pull request #1145 synchronize by felixwellen
August 30, 2024 15:15 5m 10s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 30, 2024 15:15 5m 10s
CommAlgebras as CommRingHoms Ubuntu build #2608: Pull request #1145 synchronize by felixwellen
August 30, 2024 14:28 5m 28s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 30, 2024 14:28 5m 28s
Cubical reflection machinery and Solvers for Paths Ubuntu build #2607: Pull request #1150 synchronize by marcinjangrzybowski
August 28, 2024 23:18 45m 4s marcinjangrzybowski:reflection-path-solver
marcinjangrzybowski:reflection-path-solver
August 28, 2024 23:18 45m 4s
Cubical reflection machinery and Solvers for Paths Ubuntu build #2606: Pull request #1150 synchronize by marcinjangrzybowski
August 28, 2024 18:39 45m 5s marcinjangrzybowski:reflection-path-solver
marcinjangrzybowski:reflection-path-solver
August 28, 2024 18:39 45m 5s
Cubical reflection machinery and Solvers for Paths Ubuntu build #2605: Pull request #1150 synchronize by marcinjangrzybowski
August 28, 2024 17:45 30m 20s marcinjangrzybowski:reflection-path-solver
marcinjangrzybowski:reflection-path-solver
August 28, 2024 17:45 30m 20s
Cubical reflection machinery and Solvers for Paths Ubuntu build #2604: Pull request #1150 synchronize by marcinjangrzybowski
August 28, 2024 17:17 23m 7s marcinjangrzybowski:reflection-path-solver
marcinjangrzybowski:reflection-path-solver
August 28, 2024 17:17 23m 7s
Cubical reflection machinery and Solvers for Paths Ubuntu build #2603: Pull request #1150 synchronize by marcinjangrzybowski
August 28, 2024 16:59 5m 10s marcinjangrzybowski:reflection-path-solver
marcinjangrzybowski:reflection-path-solver
August 28, 2024 16:59 5m 10s
Cubical reflection machinery and Solvers for Paths Ubuntu build #2602: Pull request #1150 opened by marcinjangrzybowski
August 28, 2024 15:55 23m 20s marcinjangrzybowski:reflection-path-solver
marcinjangrzybowski:reflection-path-solver
August 28, 2024 15:55 23m 20s
(Displayed) Category Theory: Sections of displayed categories, Free Category 3.0 and UMPs are Props Ubuntu build #2601: Pull request #1149 synchronize by maxsnew
August 27, 2024 14:58 32m 8s maxsnew:sections-of-displayed-categories
maxsnew:sections-of-displayed-categories
August 27, 2024 14:58 32m 8s
(Displayed) Category Theory: Sections of displayed categories, Free Category 3.0 and UMPs are Props Ubuntu build #2600: Pull request #1149 synchronize by maxsnew
August 27, 2024 14:41 40m 35s maxsnew:sections-of-displayed-categories
maxsnew:sections-of-displayed-categories
August 27, 2024 14:41 40m 35s