Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
709 workflow runs
709 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Open subschemes (#1096) Ubuntu build #2433: Commit 8dc7788 pushed by felixwellen
March 16, 2024 18:06 12m 53s master
master
March 16, 2024 18:06 12m 53s
Displayed Category Constructions Ubuntu build #2432: Pull request #1108 synchronize by stschaef
March 13, 2024 20:08 2m 16s stschaef:displayed-additions
stschaef:displayed-additions
March 13, 2024 20:08 2m 16s
pages build and deployment pages-build-deployment #280: by github-pages bot
March 13, 2024 12:43 52s
March 13, 2024 12:43 52s
elimGpd (#1112) Ubuntu build #2431: Commit fc4ef6a pushed by mortberg
March 13, 2024 12:13 29m 18s master
master
March 13, 2024 12:13 29m 18s
elimGpd Ubuntu build #2429: Pull request #1112 synchronize by aljungstrom
March 11, 2024 15:35 28m 39s aljungstrom:elimGpd
aljungstrom:elimGpd
March 11, 2024 15:35 28m 39s
elimGpd Ubuntu build #2428: Pull request #1112 opened by aljungstrom
March 11, 2024 14:50 23m 56s aljungstrom:elimGpd
aljungstrom:elimGpd
March 11, 2024 14:50 23m 56s
CW complexes, cellular homology + a lot more Ubuntu build #2426: Pull request #1111 synchronize by aljungstrom
March 4, 2024 11:04 29m 17s aljungstrom:cellular_final
aljungstrom:cellular_final
March 4, 2024 11:04 29m 17s
Open subschemes Ubuntu build #2425: Pull request #1096 synchronize by mzeuner
March 4, 2024 10:58 5m 8s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
March 4, 2024 10:58 5m 8s
CW complexes, cellular homology + a lot more Ubuntu build #2424: Pull request #1111 synchronize by aljungstrom
March 4, 2024 10:31 25m 22s aljungstrom:cellular_final
aljungstrom:cellular_final
March 4, 2024 10:31 25m 22s
CW complexes, cellular homology + a lot more Ubuntu build #2423: Pull request #1111 synchronize by aljungstrom
March 4, 2024 08:40 10m 21s aljungstrom:cellular_final
aljungstrom:cellular_final
March 4, 2024 08:40 10m 21s
Open subschemes Ubuntu build #2422: Pull request #1096 synchronize by mzeuner
March 4, 2024 08:04 29m 25s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
March 4, 2024 08:04 29m 25s
CW complexes, cellular homology + a lot more Ubuntu build #2421: Pull request #1111 synchronize by aljungstrom
March 4, 2024 01:22 7m 18s aljungstrom:cellular_final
aljungstrom:cellular_final
March 4, 2024 01:22 7m 18s
CW complexes, cellular homology + a lot more Ubuntu build #2420: Pull request #1111 synchronize by aljungstrom
March 4, 2024 00:48 7m 25s aljungstrom:cellular_final
aljungstrom:cellular_final
March 4, 2024 00:48 7m 25s
CW complexes, cellular homology + a lot more Ubuntu build #2419: Pull request #1111 synchronize by aljungstrom
March 4, 2024 00:30 4m 11s aljungstrom:cellular_final
aljungstrom:cellular_final
March 4, 2024 00:30 4m 11s
CW complexes, cellular homology + a lot more Ubuntu build #2418: Pull request #1111 opened by aljungstrom
March 3, 2024 23:57 2m 34s aljungstrom:cellular_final
aljungstrom:cellular_final
March 3, 2024 23:57 2m 34s
Displayed Category Constructions Ubuntu build #2417: Pull request #1108 synchronize by stschaef
March 1, 2024 16:07 3m 42s stschaef:displayed-additions
stschaef:displayed-additions
March 1, 2024 16:07 3m 42s
pages build and deployment pages-build-deployment #279: by github-pages bot
March 1, 2024 10:36 47s
March 1, 2024 10:36 47s
Added transportIsoToPath and transportIsoToPath⁻ (#1109) Ubuntu build #2416: Commit 6ce70a4 pushed by mortberg
March 1, 2024 10:07 29m 16s master
master
March 1, 2024 10:07 29m 16s
Added transportIsoToPath and transportIsoToPath⁻ Ubuntu build #2415: Pull request #1109 synchronize by oisdk
March 1, 2024 09:35 28m 51s oisdk:master
oisdk:master
March 1, 2024 09:35 28m 51s
Added transportIsoToPath and transportIsoToPath⁻ Ubuntu build #2414: Pull request #1109 opened by oisdk
March 1, 2024 09:31 2m 24s oisdk:master
oisdk:master
March 1, 2024 09:31 2m 24s
Define free wild categories Ubuntu build #2413: Pull request #1105 synchronize by felixwellen
March 1, 2024 09:11 2m 40s fwellen/free_wild_cats
fwellen/free_wild_cats
March 1, 2024 09:11 2m 40s
Open subschemes Ubuntu build #2412: Pull request #1096 synchronize by MatthiasHu
February 29, 2024 22:46 4m 0s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 29, 2024 22:46 4m 0s
Open subschemes Ubuntu build #2411: Pull request #1096 synchronize by MatthiasHu
February 29, 2024 12:50 5m 24s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 29, 2024 12:50 5m 24s
Open subschemes Ubuntu build #2410: Pull request #1096 synchronize by MatthiasHu
February 29, 2024 12:38 5m 21s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 29, 2024 12:38 5m 21s
Open subschemes Ubuntu build #2409: Pull request #1096 synchronize by MatthiasHu
February 29, 2024 11:57 5m 23s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 29, 2024 11:57 5m 23s