Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
532 workflow runs
532 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Define Dagger categories Ubuntu build #2776: Pull request #1201 synchronize by anshwad10
March 2, 2025 17:09 2m 35s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 17:09 2m 35s
Define Dagger categories Ubuntu build #2775: Pull request #1201 synchronize by anshwad10
March 2, 2025 17:05 2m 37s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 17:05 2m 37s
Define Dagger categories Ubuntu build #2774: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:49 2m 10s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:49 2m 10s
Define Dagger categories Ubuntu build #2773: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:49 2m 11s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:49 2m 11s
Define Dagger categories Ubuntu build #2772: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:15 2m 12s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:15 2m 12s
Define Dagger categories Ubuntu build #2771: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:14 2m 15s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:14 2m 15s
Define Dagger categories Ubuntu build #2770: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:10 2m 23s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:10 2m 23s
Define Dagger categories Ubuntu build #2769: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:09 2m 11s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:09 2m 11s
Define Dagger categories Ubuntu build #2768: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:08 2m 10s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:08 2m 10s
Define Dagger categories Ubuntu build #2767: Pull request #1201 synchronize by anshwad10
March 2, 2025 16:06 2m 14s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 16:06 2m 14s
Define Dagger categories Ubuntu build #2766: Pull request #1201 opened by anshwad10
March 2, 2025 12:17 2m 45s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 12:17 2m 45s
Add Rezk Completion by HIT Ubuntu build #2765: Pull request #1188 synchronize by anshwad10
March 2, 2025 12:04 2m 43s anshwad10:patch-3
anshwad10:patch-3
March 2, 2025 12:04 2m 43s
Add Rezk Completion by HIT Ubuntu build #2764: Pull request #1188 synchronize by anshwad10
March 2, 2025 06:10 2m 33s anshwad10:patch-3
anshwad10:patch-3
March 2, 2025 06:10 2m 33s
Add Rezk Completion by HIT Ubuntu build #2763: Pull request #1188 synchronize by anshwad10
March 2, 2025 06:09 2m 37s anshwad10:patch-3
anshwad10:patch-3
March 2, 2025 06:09 2m 37s
Add Rezk Completion by HIT Ubuntu build #2762: Pull request #1188 synchronize by anshwad10
March 2, 2025 05:51 2m 16s anshwad10:patch-3
anshwad10:patch-3
March 2, 2025 05:51 2m 16s
Missed rename of Precat to WildCat Ubuntu build #2761: Pull request #1200 synchronize by anshwad10
February 28, 2025 17:22 3m 8s anshwad10:monoidal-wildcat
anshwad10:monoidal-wildcat
February 28, 2025 17:22 3m 8s
Missed rename of Precat to WildCat Ubuntu build #2760: Pull request #1200 opened by anshwad10
February 28, 2025 15:53 2m 43s anshwad10:monoidal-wildcat
anshwad10:monoidal-wildcat
February 28, 2025 15:53 2m 43s
Decidable reachability for finite quivers Ubuntu build #2759: Pull request #1198 synchronize by stschaef
February 27, 2025 14:47 2m 56s stschaef:quiver-reachability
stschaef:quiver-reachability
February 27, 2025 14:47 2m 56s
Decidable reachability for finite quivers Ubuntu build #2758: Pull request #1198 synchronize by stschaef
February 26, 2025 22:28 3m 33s stschaef:quiver-reachability
stschaef:quiver-reachability
February 26, 2025 22:28 3m 33s
Decidable reachability for finite quivers Ubuntu build #2757: Pull request #1198 opened by stschaef
February 26, 2025 22:21 3m 15s stschaef:quiver-reachability
stschaef:quiver-reachability
February 26, 2025 22:21 3m 15s
Strict monoidal categories are strict categories 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 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 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