Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
561 workflow runs
561 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CommAlgebras as CommRingHoms Ubuntu build #2657: Pull request #1145 synchronize by felixwellen
October 1, 2024 09:13 5m 1s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
October 1, 2024 09:13 5m 1s
CommAlgebras as CommRingHoms Ubuntu build #2656: Pull request #1145 synchronize by felixwellen
September 30, 2024 16:30 5m 3s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
September 30, 2024 16:30 5m 3s
CommAlgebras as CommRingHoms Ubuntu build #2655: Pull request #1145 synchronize by felixwellen
September 30, 2024 12:27 31m 15s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
September 30, 2024 12:27 31m 15s
Cubical reflection machinery and Solvers for Paths Ubuntu build #2654: Pull request #1150 synchronize by marcinjangrzybowski
September 29, 2024 21:14 48m 22s marcinjangrzybowski:reflection-path-solver
marcinjangrzybowski:reflection-path-solver
September 29, 2024 21:14 48m 22s
WellFounded: Well-founded relations are irreflexive. Ubuntu build #2653: Pull request #1158 opened by shlevy
September 24, 2024 00:55 31m 55s wf-irreflexive
wf-irreflexive
September 24, 2024 00:55 31m 55s
Devalapurkar & Haine Ubuntu build #2652: Pull request #1157 synchronize by Trebor-Huang
September 19, 2024 14:18 32m 24s Trebor-Huang:devalapurkar-haine
Trebor-Huang:devalapurkar-haine
September 19, 2024 14:18 32m 24s
Devalapurkar & Haine Ubuntu build #2651: Pull request #1157 synchronize by Trebor-Huang
September 19, 2024 14:17 29m 51s Trebor-Huang:devalapurkar-haine
Trebor-Huang:devalapurkar-haine
September 19, 2024 14:17 29m 51s
Devalapurkar & Haine Ubuntu build #2650: Pull request #1157 synchronize by Trebor-Huang
September 19, 2024 13:42 30m 11s Trebor-Huang:devalapurkar-haine
Trebor-Huang:devalapurkar-haine
September 19, 2024 13:42 30m 11s
Devalapurkar & Haine Ubuntu build #2649: Pull request #1157 synchronize by Trebor-Huang
September 19, 2024 13:37 2m 18s Trebor-Huang:devalapurkar-haine
Trebor-Huang:devalapurkar-haine
September 19, 2024 13:37 2m 18s
pages build and deployment pages-build-deployment #311: by github-pages bot
September 19, 2024 08:47 49s gh-pages
gh-pages
September 19, 2024 08:47 49s
Connected CW complexes (#1133) Ubuntu build #2648: Commit 53e400e pushed by felixwellen
September 19, 2024 08:13 34m 18s master
master
September 19, 2024 08:13 34m 18s
Connected CW complexes Ubuntu build #2647: Pull request #1133 synchronize by aljungstrom
September 16, 2024 23:01 32m 52s aljungstrom:cellular_pointed
aljungstrom:cellular_pointed
September 16, 2024 23:01 32m 52s
pages build and deployment pages-build-deployment #310: by github-pages bot
September 16, 2024 14:29 45s gh-pages
gh-pages
September 16, 2024 14:29 45s
Remove redundant clause for agda/agda#7496 (#1156) Ubuntu build #2646: Commit e2370fb pushed by felixwellen
September 16, 2024 14:23 6m 13s master
master
September 16, 2024 14:23 6m 13s
Remove redundant clause for agda/agda#7496 Ubuntu build #2645: Pull request #1156 opened by szumixie
September 15, 2024 15:15 5m 30s agda-pr-7496
agda-pr-7496
September 15, 2024 15:15 5m 30s
pages build and deployment pages-build-deployment #309: by github-pages bot
September 11, 2024 15:10 50s gh-pages
gh-pages
September 11, 2024 15:10 50s
pages build and deployment pages-build-deployment #308: by github-pages bot
September 11, 2024 15:04 44s gh-pages
gh-pages
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