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

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 gh-pages
gh-pages
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
move precategories to separate folder and rename to wild categories Ubuntu build #2383: Pull request #1103 synchronize by felixwellen
February 20, 2024 18:16 4m 11s fwellen/wild_categories
fwellen/wild_categories
February 20, 2024 18:16 4m 11s
move precategories to separate folder and rename to wild categories Ubuntu build #2382: Pull request #1103 synchronize by felixwellen
February 20, 2024 18:07 2m 49s fwellen/wild_categories
fwellen/wild_categories
February 20, 2024 18:07 2m 49s
move precategories to separate folder and rename to wild categories Ubuntu build #2381: Pull request #1103 synchronize by felixwellen
February 20, 2024 18:04 3m 13s fwellen/wild_categories
fwellen/wild_categories
February 20, 2024 18:04 3m 13s
move precategories to separate folder and rename to wild categories Ubuntu build #2380: Pull request #1103 synchronize by felixwellen
February 20, 2024 17:56 2m 30s fwellen/wild_categories
fwellen/wild_categories
February 20, 2024 17:56 2m 30s
move precategories to separate folder and rename to wild categories Ubuntu build #2379: Pull request #1103 synchronize by felixwellen
February 20, 2024 17:50 3m 10s fwellen/wild_categories
fwellen/wild_categories
February 20, 2024 17:50 3m 10s
Path solver Ubuntu build #2378: Pull request #1104 synchronize by marcinjangrzybowski
February 20, 2024 09:47 29m 48s marcinjangrzybowski:groupoid-solver
marcinjangrzybowski:groupoid-solver
February 20, 2024 09:47 29m 48s
Path solver Ubuntu build #2377: Pull request #1104 synchronize by marcinjangrzybowski
February 20, 2024 09:16 27m 51s marcinjangrzybowski:groupoid-solver
marcinjangrzybowski:groupoid-solver
February 20, 2024 09:16 27m 51s
Path solver Ubuntu build #2376: Pull request #1104 opened by marcinjangrzybowski
February 20, 2024 09:11 2m 30s marcinjangrzybowski:groupoid-solver
marcinjangrzybowski:groupoid-solver
February 20, 2024 09:11 2m 30s
Functorial qcqs-schemes Ubuntu build #2375: Pull request #1086 synchronize by MatthiasHu
February 16, 2024 17:19 4m 9s mzeuner:FuncQCQSSchemes
mzeuner:FuncQCQSSchemes
February 16, 2024 17:19 4m 9s
move precategories to separate folder and rename to wild categories Ubuntu build #2374: Pull request #1103 synchronize by felixwellen
February 16, 2024 13:45 4m 21s fwellen/wild_categories
fwellen/wild_categories
February 16, 2024 13:45 4m 21s
Functorial qcqs-schemes Ubuntu build #2373: Pull request #1086 synchronize by mzeuner
February 16, 2024 10:17 4m 36s mzeuner:FuncQCQSSchemes
mzeuner:FuncQCQSSchemes
February 16, 2024 10:17 4m 36s
Functorial qcqs-schemes Ubuntu build #2372: Pull request #1086 synchronize by mzeuner
February 16, 2024 09:42 28m 15s mzeuner:FuncQCQSSchemes
mzeuner:FuncQCQSSchemes
February 16, 2024 09:42 28m 15s
pages build and deployment pages-build-deployment #275: by github-pages bot
February 16, 2024 09:29 48s gh-pages
gh-pages
February 16, 2024 09:29 48s
Simplify (and generalize) invElPropElimN (#1102) Ubuntu build #2371: Commit 0dc865a pushed by MatthiasHu
February 16, 2024 09:24 5m 1s master
master
February 16, 2024 09:24 5m 1s
Simplify (and generalize) invElPropElimN Ubuntu build #2370: Pull request #1102 synchronize by MatthiasHu
February 16, 2024 09:07 2m 44s MatthiasHu:generalize-equalizerLemma
MatthiasHu:generalize-equalizerLemma
February 16, 2024 09:07 2m 44s
ProTip! You can narrow down the results and go further in time using created:<2024-02-16 or the other filters available.