Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
491 workflow runs
491 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 gh-pages
gh-pages
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 master
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 master
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
Open subschemes Ubuntu build #2408: Pull request #1096 synchronize by MatthiasHu
February 29, 2024 11:38 5m 39s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 29, 2024 11:38 5m 39s
Simplify Embedding-into-hLevel→hLevel Ubuntu build #2407: Pull request #1107 opened by MatthiasHu
February 28, 2024 10:51 30m 2s MatthiasHu:simplify-Embedding-into-hLevel->hLevel
MatthiasHu:simplify-Embedding-into-hLevel->hLevel
February 28, 2024 10:51 30m 2s
Open subschemes Ubuntu build #2406: Pull request #1096 synchronize by MatthiasHu
February 27, 2024 14:10 6m 31s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 27, 2024 14:10 6m 31s
Open subschemes Ubuntu build #2405: Pull request #1096 synchronize by MatthiasHu
February 27, 2024 12:09 6m 33s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 27, 2024 12:09 6m 33s
Open subschemes Ubuntu build #2404: Pull request #1096 synchronize by MatthiasHu
February 27, 2024 11:22 3m 16s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 27, 2024 11:22 3m 16s
Open subschemes Ubuntu build #2403: Pull request #1096 synchronize by mzeuner
February 26, 2024 16:34 3m 19s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 26, 2024 16:34 3m 19s
Open subschemes Ubuntu build #2402: Pull request #1096 synchronize by mzeuner
February 26, 2024 16:30 5m 52s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 26, 2024 16:30 5m 52s
Open subschemes Ubuntu build #2401: Pull request #1096 synchronize by mzeuner
February 26, 2024 16:16 4m 49s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 26, 2024 16:16 4m 49s
Functor Comprehension Ubuntu build #2400: Pull request #1106 synchronize by stschaef
February 26, 2024 15:51 29m 13s stschaef:master
stschaef:master
February 26, 2024 15:51 29m 13s
Open subschemes Ubuntu build #2399: Pull request #1096 synchronize by mzeuner
February 26, 2024 15:28 4m 38s mzeuner:OpenSubschemes
mzeuner:OpenSubschemes
February 26, 2024 15:28 4m 38s
pages build and deployment pages-build-deployment #278: by github-pages bot
February 26, 2024 08:25 56s gh-pages
gh-pages
February 26, 2024 08:25 56s
Functorial qcqs-schemes (#1086) Ubuntu build #2398: Commit a10e25a pushed by felixwellen
February 26, 2024 08:20 5m 18s master
master
February 26, 2024 08:20 5m 18s
Functor Comprehension Ubuntu build #2397: Pull request #1106 synchronize by stschaef
February 25, 2024 17:29 9m 14s stschaef:master
stschaef:master
February 25, 2024 17:29 9m 14s
Functorial qcqs-schemes Ubuntu build #2393: Pull request #1086 synchronize by MatthiasHu
February 24, 2024 21:06 28m 33s mzeuner:FuncQCQSSchemes
mzeuner:FuncQCQSSchemes
February 24, 2024 21:06 28m 33s
pages build and deployment pages-build-deployment #277: by github-pages bot
February 23, 2024 10:34 43s gh-pages
gh-pages
February 23, 2024 10:34 43s
ProTip! You can narrow down the results and go further in time using created:<2024-02-23 or the other filters available.