Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
550 workflow runs
550 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #253: by github-pages bot
October 30, 2023 08:51 2m 6s gh-pages
gh-pages
October 30, 2023 08:51 2m 6s
CI: bump GHC to recommended version (9.4.7) Ubuntu build #2236: Pull request #1075 opened by andreasabel
October 30, 2023 08:23 1h 22m 18s bump-ci-ghc
bump-ci-ghc
October 30, 2023 08:23 1h 22m 18s
CI: set heap size to 6G (#1073) Ubuntu build #2235: Commit b0c105f pushed by felixwellen
October 30, 2023 08:10 41m 3s master
master
October 30, 2023 08:10 41m 3s
CI: set heap size to 6G Ubuntu build #2234: Pull request #1073 synchronize by felixwellen
October 30, 2023 07:01 41m 15s fwellen/fix_ci_heap_size
fwellen/fix_ci_heap_size
October 30, 2023 07:01 41m 15s
CI: set heap size to 6G Ubuntu build #2233: Pull request #1073 opened by felixwellen
October 30, 2023 06:55 42m 1s fwellen/fix_ci_heap_size
fwellen/fix_ci_heap_size
October 30, 2023 06:55 42m 1s
Well-orderings and Ordinals Ubuntu build #2232: Pull request #1072 synchronize by LuuBluum
October 29, 2023 07:03 57m 38s LuuBluum:Ordinal
LuuBluum:Ordinal
October 29, 2023 07:03 57m 38s
Well-orderings and Ordinals Ubuntu build #2231: Pull request #1072 synchronize by LuuBluum
October 29, 2023 06:57 2m 43s LuuBluum:Ordinal
LuuBluum:Ordinal
October 29, 2023 06:57 2m 43s
Well-orderings and Ordinals Ubuntu build #2230: Pull request #1072 opened by LuuBluum
October 29, 2023 06:55 2m 39s LuuBluum:Ordinal
LuuBluum:Ordinal
October 29, 2023 06:55 2m 39s
Rational order Ubuntu build #2229: Pull request #1071 synchronize by LuuBluum
October 28, 2023 01:24 50m 29s LuuBluum:RationalOrder
LuuBluum:RationalOrder
October 28, 2023 01:24 50m 29s
Rational order Ubuntu build #2228: Pull request #1071 opened by LuuBluum
October 28, 2023 01:19 2m 31s LuuBluum:RationalOrder
LuuBluum:RationalOrder
October 28, 2023 01:19 2m 31s
Whitehead's Lemma (#1067) Ubuntu build #2227: Commit abdb1f9 pushed by mortberg
October 27, 2023 15:28 1h 0m 52s master
master
October 27, 2023 15:28 1h 0m 52s
pages build and deployment pages-build-deployment #252: by github-pages bot
October 27, 2023 14:23 1m 18s gh-pages
gh-pages
October 27, 2023 14:23 1m 18s
ℤ-Functors (#1068) Ubuntu build #2226: Commit 1196aad pushed by mortberg
October 27, 2023 14:14 8m 39s master
master
October 27, 2023 14:14 8m 39s
ℤ-Functors Ubuntu build #2225: Pull request #1068 synchronize by mzeuner
October 27, 2023 14:03 8m 52s mzeuner:ZFunctors
mzeuner:ZFunctors
October 27, 2023 14:03 8m 52s
ℤ-Functors Ubuntu build #2224: Pull request #1068 synchronize by mzeuner
October 26, 2023 21:16 3m 24s mzeuner:ZFunctors
mzeuner:ZFunctors
October 26, 2023 21:16 3m 24s
Category of groups, uniqness of adjunctions Ubuntu build #2223: Pull request #1065 synchronize by marcinjangrzybowski
October 26, 2023 18:08 56m 23s marcinjangrzybowski:uniq-left-adj
marcinjangrzybowski:uniq-left-adj
October 26, 2023 18:08 56m 23s
Category of groups, uniqness of adjunctions Ubuntu build #2222: Pull request #1065 synchronize by marcinjangrzybowski
October 26, 2023 16:05 54m 46s marcinjangrzybowski:uniq-left-adj
marcinjangrzybowski:uniq-left-adj
October 26, 2023 16:05 54m 46s
Category of groups, uniqness of adjunctions Ubuntu build #2221: Pull request #1065 synchronize by marcinjangrzybowski
October 25, 2023 16:57 44m 20s marcinjangrzybowski:uniq-left-adj
marcinjangrzybowski:uniq-left-adj
October 25, 2023 16:57 44m 20s
ℤ-Functors Ubuntu build #2220: Pull request #1068 synchronize by mzeuner
October 25, 2023 14:31 7m 57s mzeuner:ZFunctors
mzeuner:ZFunctors
October 25, 2023 14:31 7m 57s
Category of groups, uniqness of adjunctions Ubuntu build #2219: Pull request #1065 synchronize by marcinjangrzybowski
October 25, 2023 08:29 45m 34s marcinjangrzybowski:uniq-left-adj
marcinjangrzybowski:uniq-left-adj
October 25, 2023 08:29 45m 34s
pages build and deployment pages-build-deployment #251: by github-pages bot
October 24, 2023 15:34 1m 12s gh-pages
gh-pages
October 24, 2023 15:34 1m 12s
Release v0.6 for agda 2.6.4 (#1050) Ubuntu build #2218: Commit eb6a33c pushed by felixwellen
October 24, 2023 14:31 1h 2m 22s master
master
October 24, 2023 14:31 1h 2m 22s
Release v0.6 for agda 2.6.4 Ubuntu build #2217: Pull request #1050 synchronize by felixwellen
October 24, 2023 14:30 3m 15s fwellen/check-with-current-agda
fwellen/check-with-current-agda
October 24, 2023 14:30 3m 15s
funExt is an equivalence. Ubuntu build #2216: Pull request #1070 opened by smimram
October 24, 2023 11:06 38m 8s smimram:funExtEquiv
smimram:funExtEquiv
October 24, 2023 11:06 38m 8s
Whitehead's Lemma Ubuntu build #2210: Pull request #1067 synchronize by owen-milner
October 20, 2023 16:20 42m 51s owen-milner:master
owen-milner:master
October 20, 2023 16:20 42m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.