Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
494 workflow runs
494 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Strict monoidal categories are strict categories #1194 Ubuntu build #2756: Pull request #1196 synchronize by anshwad10
February 22, 2025 13:36 2m 44s anshwad10:strict-monoidal
anshwad10:strict-monoidal
February 22, 2025 13:36 2m 44s
Strict monoidal categories are strict categories #1194 Ubuntu build #2755: Pull request #1196 synchronize by anshwad10
February 22, 2025 13:06 2m 33s anshwad10:strict-monoidal
anshwad10:strict-monoidal
February 22, 2025 13:06 2m 33s
Strict monoidal categories are strict categories #1194 Ubuntu build #2754: Pull request #1196 opened by anshwad10
February 22, 2025 13:05 2m 33s anshwad10:strict-monoidal
anshwad10:strict-monoidal
February 22, 2025 13:05 2m 33s
Strict monoidal categories are strict categories #1194 Ubuntu build #2753: Pull request #1195 opened by anshwad10
February 22, 2025 13:03 2m 55s anshwad10:patch-6
anshwad10:patch-6
February 22, 2025 13:03 2m 55s
Add Posetal Reflections Ubuntu build #2752: Pull request #1191 synchronize by anshwad10
February 21, 2025 10:03 2m 33s anshwad10:posetal-reflection
anshwad10:posetal-reflection
February 21, 2025 10:03 2m 33s
Add Posetal Reflections Ubuntu build #2751: Pull request #1191 synchronize by anshwad10
February 21, 2025 09:55 2m 32s anshwad10:posetal-reflection
anshwad10:posetal-reflection
February 21, 2025 09:55 2m 32s
Add Posetal Reflections Ubuntu build #2750: Pull request #1191 synchronize by anshwad10
February 20, 2025 05:57 2m 43s anshwad10:posetal-reflection
anshwad10:posetal-reflection
February 20, 2025 05:57 2m 43s
Add Posetal Reflections Ubuntu build #2749: Pull request #1191 opened by anshwad10
February 20, 2025 05:52 2m 13s anshwad10:posetal-reflection
anshwad10:posetal-reflection
February 20, 2025 05:52 2m 13s
Theory of Symmetric Groups Ubuntu build #2748: Pull request #1187 synchronize by anshwad10
February 19, 2025 04:14 2m 38s anshwad10:patch-4
anshwad10:patch-4
February 19, 2025 04:14 2m 38s
Remove duplicated lemma Ubuntu build #2747: Pull request #1189 synchronize by anshwad10
February 18, 2025 12:48 28m 9s anshwad10:patch-5
anshwad10:patch-5
February 18, 2025 12:48 28m 9s
Remove duplicated lemma Ubuntu build #2746: Pull request #1189 opened by anshwad10
February 18, 2025 11:50 2m 41s anshwad10:patch-5
anshwad10:patch-5
February 18, 2025 11:50 2m 41s
Add Rezk Completion by HIT Ubuntu build #2745: Pull request #1188 synchronize by anshwad10
February 16, 2025 12:55 3m 1s anshwad10:patch-3
anshwad10:patch-3
February 16, 2025 12:55 3m 1s
Add Rezk Completion by HIT Ubuntu build #2744: Pull request #1188 synchronize by anshwad10
February 16, 2025 12:50 2m 32s anshwad10:patch-3
anshwad10:patch-3
February 16, 2025 12:50 2m 32s
Add Rezk Completion by HIT Ubuntu build #2743: Pull request #1188 synchronize by anshwad10
February 16, 2025 12:29 2m 12s anshwad10:patch-3
anshwad10:patch-3
February 16, 2025 12:29 2m 12s
Add Rezk Completion by HIT Ubuntu build #2742: Pull request #1188 opened by anshwad10
February 16, 2025 12:27 2m 13s anshwad10:patch-3
anshwad10:patch-3
February 16, 2025 12:27 2m 13s
Theory of Symmetric Groups Ubuntu build #2741: Pull request #1187 synchronize by anshwad10
February 15, 2025 05:16 2m 53s anshwad10:patch-4
anshwad10:patch-4
February 15, 2025 05:16 2m 53s
Theory of Symmetric Groups Ubuntu build #2740: Pull request #1187 synchronize by anshwad10
February 15, 2025 05:02 2m 34s anshwad10:patch-4
anshwad10:patch-4
February 15, 2025 05:02 2m 34s
Theory of Symmetric Groups Ubuntu build #2739: Pull request #1187 synchronize by anshwad10
February 15, 2025 04:51 2m 50s anshwad10:patch-4
anshwad10:patch-4
February 15, 2025 04:51 2m 50s
Theory of Symmetric Groups Ubuntu build #2738: Pull request #1187 synchronize by anshwad10
February 15, 2025 04:35 2m 36s anshwad10:patch-4
anshwad10:patch-4
February 15, 2025 04:35 2m 36s
Theory of Symmetric Groups Ubuntu build #2737: Pull request #1187 synchronize by anshwad10
February 15, 2025 04:29 2m 36s anshwad10:patch-4
anshwad10:patch-4
February 15, 2025 04:29 2m 36s
pages build and deployment pages-build-deployment #321: by github-pages bot
February 14, 2025 16:23 47s gh-pages
gh-pages
February 14, 2025 16:23 47s
Theory of Symmetric Groups Ubuntu build #2736: Pull request #1187 synchronize by anshwad10
February 14, 2025 15:48 30m 39s anshwad10:patch-4
anshwad10:patch-4
February 14, 2025 15:48 30m 39s
Move factorial from Cubical.Data.Fin.LehmerCode to `Cubical.Data.… Ubuntu build #2735: Commit e8ff0c1 pushed by felixwellen
February 14, 2025 15:36 46m 39s master
master
February 14, 2025 15:36 46m 39s
Theory of Symmetric Groups Ubuntu build #2734: Pull request #1187 synchronize by anshwad10
February 14, 2025 15:17 29m 13s anshwad10:patch-4
anshwad10:patch-4
February 14, 2025 15:17 29m 13s
Theory of Symmetric Groups Ubuntu build #2733: Pull request #1187 opened by anshwad10
February 14, 2025 13:42 18m 46s anshwad10:patch-4
anshwad10:patch-4
February 14, 2025 13:42 18m 46s