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 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
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
February 23, 2024 10:34 43s
Well-orderings and Ordinals (#1072) Ubuntu build #2392: Commit 24774d4 pushed by felixwellen
February 23, 2024 10:03 30m 42s master
master
February 23, 2024 10:03 30m 42s
Well-orderings and Ordinals Ubuntu build #2391: Pull request #1072 synchronize by LuuBluum
February 23, 2024 01:49 29m 41s LuuBluum:Ordinal
LuuBluum:Ordinal
February 23, 2024 01:49 29m 41s
Path solver Ubuntu build #2390: Pull request #1104 synchronize by marcinjangrzybowski
February 22, 2024 23:04 29m 35s marcinjangrzybowski:groupoid-solver
marcinjangrzybowski:groupoid-solver
February 22, 2024 23:04 29m 35s
Define free wild categories Ubuntu build #2389: Pull request #1105 synchronize by felixwellen
February 21, 2024 15:31 2m 45s fwellen/free_wild_cats
fwellen/free_wild_cats
February 21, 2024 15:31 2m 45s
Define free wild categories Ubuntu build #2388: Pull request #1105 opened by felixwellen
February 21, 2024 13:58 2m 59s fwellen/free_wild_cats
fwellen/free_wild_cats
February 21, 2024 13:58 2m 59s
Functorial qcqs-schemes Ubuntu build #2387: Pull request #1086 synchronize by mzeuner
February 21, 2024 13:53 3m 27s mzeuner:FuncQCQSSchemes
mzeuner:FuncQCQSSchemes
February 21, 2024 13:53 3m 27s
pages build and deployment pages-build-deployment #276: by github-pages bot
February 21, 2024 09:07 47s
February 21, 2024 09:07 47s
move precategories to separate folder and rename to wild categories (… Ubuntu build #2386: Commit d182af3 pushed by felixwellen
February 21, 2024 09:02 4m 39s master
master
February 21, 2024 09:02 4m 39s
move precategories to separate folder and rename to wild categories Ubuntu build #2385: Pull request #1103 synchronize by felixwellen
February 20, 2024 18:22 3m 10s fwellen/wild_categories
fwellen/wild_categories
February 20, 2024 18:22 3m 10s
move precategories to separate folder and rename to wild categories Ubuntu build #2384: Pull request #1103 synchronize by felixwellen
February 20, 2024 18:16 3m 30s fwellen/wild_categories
fwellen/wild_categories
February 20, 2024 18:16 3m 30s