Skip to content

Actions: agda/cubical

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
108 workflow run results
108 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
move precategories to separate folder and rename to wild categories Ubuntu build #2369: Pull request #1103 synchronize by felixwellen
February 15, 2024 15:53 2m 56s fwellen/wild_categories
fwellen/wild_categories
February 15, 2024 15:53 2m 56s
move precategories to separate folder and rename to wild categories Ubuntu build #2368: Pull request #1103 opened by felixwellen
February 15, 2024 15:26 2m 19s fwellen/wild_categories
fwellen/wild_categories
February 15, 2024 15:26 2m 19s
Simplify (and generalize) invElPropElimN Ubuntu build #2367: Pull request #1102 synchronize by MatthiasHu
February 15, 2024 15:01 28m 54s MatthiasHu:generalize-equalizerLemma
MatthiasHu:generalize-equalizerLemma
February 15, 2024 15:01 28m 54s
(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories (#1091) Ubuntu build #2366: Commit f47fc1b pushed by felixwellen
February 15, 2024 13:57 31m 5s master
master
February 15, 2024 13:57 31m 5s