Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow run results
98 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages build and deployment pages-build-deployment #274: by github-pages bot
February 15, 2024 14:28 47s gh-pages
gh-pages
February 15, 2024 14:28 47s
(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
Simplify (and generalize) invElPropElimN Ubuntu build #2365: Pull request #1102 opened by MatthiasHu
February 15, 2024 13:12 4m 27s MatthiasHu:generalize-equalizerLemma
MatthiasHu:generalize-equalizerLemma
February 15, 2024 13:12 4m 27s
Functorial qcqs-schemes Ubuntu build #2364: Pull request #1086 synchronize by mzeuner
February 12, 2024 16:07 4m 54s mzeuner:FuncQCQSSchemes
mzeuner:FuncQCQSSchemes
February 12, 2024 16:07 4m 54s
Release for agda 2.6.4.1 (#1083) Ubuntu build #2363: Commit d69d74c pushed by felixwellen
February 12, 2024 09:21 45m 53s master
master
February 12, 2024 09:21 45m 53s
Release for agda 2.6.4.1 Ubuntu build #2362: Pull request #1083 synchronize by felixwellen
February 12, 2024 08:46 2m 39s release-for-2.6.4.1
release-for-2.6.4.1
February 12, 2024 08:46 2m 39s
Release for agda 2.6.4.1 Ubuntu build #2361: Pull request #1083 synchronize by felixwellen
February 11, 2024 20:54 2m 36s release-for-2.6.4.1
release-for-2.6.4.1
February 11, 2024 20:54 2m 36s
Release for agda 2.6.4.1 Ubuntu build #2360: Pull request #1083 synchronize by felixwellen
February 11, 2024 19:40 2m 47s release-for-2.6.4.1
release-for-2.6.4.1
February 11, 2024 19:40 2m 47s
Normal form of FreeGroup Ubuntu build #2359: Pull request #1099 synchronize by marcinjangrzybowski
February 9, 2024 17:31 8m 16s marcinjangrzybowski:freeGroup-normal-form
marcinjangrzybowski:freeGroup-normal-form
February 9, 2024 17:31 8m 16s
Normal form of FreeGroup Ubuntu build #2358: Pull request #1099 synchronize by marcinjangrzybowski
February 9, 2024 17:04 5m 57s marcinjangrzybowski:freeGroup-normal-form
marcinjangrzybowski:freeGroup-normal-form
February 9, 2024 17:04 5m 57s
Functorial qcqs-schemes Ubuntu build #2357: Pull request #1086 synchronize by mzeuner
February 9, 2024 14:40 5m 2s mzeuner:FuncQCQSSchemes
mzeuner:FuncQCQSSchemes
February 9, 2024 14:40 5m 2s
Release for agda 2.6.4.1 Ubuntu build #2356: Pull request #1083 synchronize by felixwellen
February 8, 2024 15:01 2m 48s release-for-2.6.4.1
release-for-2.6.4.1
February 8, 2024 15:01 2m 48s
pages build and deployment pages-build-deployment #273: by github-pages bot
February 7, 2024 15:04 56s gh-pages
gh-pages
February 7, 2024 15:04 56s
pages build and deployment pages-build-deployment #272: by github-pages bot
February 7, 2024 15:01 50s gh-pages
gh-pages
February 7, 2024 15:01 50s
Release for agda 2.6.4.1 Ubuntu build #2355: Pull request #1083 synchronize by felixwellen
February 7, 2024 14:46 46m 8s release-for-2.6.4.1
release-for-2.6.4.1
February 7, 2024 14:46 46m 8s
Refactor and improve CommRingSolver (#1093) Ubuntu build #2354: Commit 4f73645 pushed by felixwellen
February 7, 2024 14:45 19m 19s master
master
February 7, 2024 14:45 19m 19s
Zariski coverage on CommRing^op (#1082) Ubuntu build #2353: Commit cbb8351 pushed by mortberg
February 7, 2024 14:43 17m 31s master
master
February 7, 2024 14:43 17m 31s
Refactor and improve CommRingSolver Ubuntu build #2352: Pull request #1093 synchronize by felixwellen
February 7, 2024 13:47 3m 49s fwellen/tactical-initiative
fwellen/tactical-initiative
February 7, 2024 13:47 3m 49s
Algebraic geometry directory Ubuntu build #2351: Pull request #1100 synchronize by mzeuner
February 7, 2024 12:32 15m 57s mzeuner:AlgebraicGeometryDir
mzeuner:AlgebraicGeometryDir
February 7, 2024 12:32 15m 57s
Refactor and improve CommRingSolver Ubuntu build #2350: Pull request #1093 synchronize by felixwellen
February 7, 2024 10:01 9m 12s fwellen/tactical-initiative
fwellen/tactical-initiative
February 7, 2024 10:01 9m 12s
Refactor and improve CommRingSolver Ubuntu build #2349: Pull request #1093 synchronize by felixwellen
February 7, 2024 09:10 24m 44s fwellen/tactical-initiative
fwellen/tactical-initiative
February 7, 2024 09:10 24m 44s
Refactor and improve CommRingSolver Ubuntu build #2348: Pull request #1093 synchronize by felixwellen
February 6, 2024 16:41 23m 38s fwellen/tactical-initiative
fwellen/tactical-initiative
February 6, 2024 16:41 23m 38s