Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
537 workflow runs
537 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #322: by github-pages bot
March 4, 2025 16:18 43s gh-pages
gh-pages
March 4, 2025 16:18 43s
Reduced homology of CW complexes (#1175) Ubuntu build #2798: Commit 385066b pushed by mortberg
March 4, 2025 15:53 25m 6s master
master
March 4, 2025 15:53 25m 6s
Define Dagger categories Ubuntu build #2797: Pull request #1201 synchronize by anshwad10
March 4, 2025 12:49 2m 51s anshwad10:dagger-cat
anshwad10:dagger-cat
March 4, 2025 12:49 2m 51s
Define Dagger categories Ubuntu build #2796: Pull request #1201 synchronize by anshwad10
March 4, 2025 12:38 2m 33s anshwad10:dagger-cat
anshwad10:dagger-cat
March 4, 2025 12:38 2m 33s
Define Dagger categories Ubuntu build #2795: Pull request #1201 synchronize by anshwad10
March 4, 2025 12:33 2m 42s anshwad10:dagger-cat
anshwad10:dagger-cat
March 4, 2025 12:33 2m 42s
Define Dagger categories Ubuntu build #2794: Pull request #1201 synchronize by anshwad10
March 4, 2025 12:29 2m 38s anshwad10:dagger-cat
anshwad10:dagger-cat
March 4, 2025 12:29 2m 38s
Define Dagger categories Ubuntu build #2793: Pull request #1201 synchronize by anshwad10
March 4, 2025 06:42 2m 39s anshwad10:dagger-cat
anshwad10:dagger-cat
March 4, 2025 06:42 2m 39s
Define Dagger categories Ubuntu build #2792: Pull request #1201 synchronize by anshwad10
March 4, 2025 02:49 2m 32s anshwad10:dagger-cat
anshwad10:dagger-cat
March 4, 2025 02:49 2m 32s
Define Dagger categories Ubuntu build #2791: Pull request #1201 synchronize by anshwad10
March 4, 2025 02:38 2m 43s anshwad10:dagger-cat
anshwad10:dagger-cat
March 4, 2025 02:38 2m 43s
Define Dagger categories Ubuntu build #2790: Pull request #1201 synchronize by anshwad10
March 3, 2025 15:41 2m 48s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 15:41 2m 48s
Add Rezk Completion by HIT Ubuntu build #2789: Pull request #1188 synchronize by anshwad10
March 3, 2025 15:16 2m 47s anshwad10:patch-3
anshwad10:patch-3
March 3, 2025 15:16 2m 47s
Define Dagger categories Ubuntu build #2788: Pull request #1201 synchronize by anshwad10
March 3, 2025 15:08 2m 11s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 15:08 2m 11s
Define Dagger categories Ubuntu build #2787: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:29 2m 23s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:29 2m 23s
Define Dagger categories Ubuntu build #2786: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:25 2m 17s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:25 2m 17s
Define Dagger categories Ubuntu build #2785: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:25 2m 17s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:25 2m 17s
Define Dagger categories Ubuntu build #2784: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:24 2m 9s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:24 2m 9s
Define Dagger categories Ubuntu build #2783: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:23 2m 18s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:23 2m 18s
Define Dagger categories Ubuntu build #2782: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:22 2m 36s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:22 2m 36s
Define Dagger categories Ubuntu build #2781: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:20 2m 30s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:20 2m 30s
Define Dagger categories Ubuntu build #2780: Pull request #1201 synchronize by anshwad10
March 3, 2025 14:17 2m 44s anshwad10:dagger-cat
anshwad10:dagger-cat
March 3, 2025 14:17 2m 44s
Define Dagger categories Ubuntu build #2779: Pull request #1201 synchronize by anshwad10
March 2, 2025 17:30 7m 30s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 17:30 7m 30s
Define Dagger categories Ubuntu build #2778: Pull request #1201 synchronize by anshwad10
March 2, 2025 17:27 7m 19s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 17:27 7m 19s
Define Dagger categories Ubuntu build #2777: Pull request #1201 synchronize by anshwad10
March 2, 2025 17:20 5m 55s anshwad10:dagger-cat
anshwad10:dagger-cat
March 2, 2025 17:20 5m 55s
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