Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,869 workflow runs
1,869 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
More examples of categories that are not Cauchy complete (WIP) Test Workflow #1550: Pull request #356 synchronize by ScriptRaccoon
10s no-cauchy
no-cauchy
10s
More examples of categories that are not Cauchy complete (WIP) Test Workflow #1549: Pull request #356 synchronize by ScriptRaccoon
2s no-cauchy
no-cauchy
2s
More examples of categories that are not Cauchy complete (WIP) Test Workflow #1548: Pull request #356 synchronize by ScriptRaccoon
1s no-cauchy
no-cauchy
1s
More examples of categories that are not Cauchy complete (WIP) Test Workflow #1547: Pull request #356 opened by ScriptRaccoon
1s no-cauchy
no-cauchy
1s
clarify the definitions of multi-limits and multi-colimits Test Workflow #1546: Commit 57e9893 pushed by ScriptRaccoon
2m 1s main
main
2m 1s
The category of posets without isolated points Test Workflow #1545: Pull request #355 synchronize by ScriptRaccoon
2m 16s poset-no-isolated
poset-no-isolated
2m 16s
The category of posets without isolated points Test Workflow #1544: Pull request #355 synchronize by ScriptRaccoon
9s poset-no-isolated
poset-no-isolated
9s
The category of posets without isolated points Test Workflow #1543: Pull request #355 synchronize by ScriptRaccoon
1s poset-no-isolated
poset-no-isolated
1s
The category of posets without isolated points Test Workflow #1542: Pull request #355 opened by ScriptRaccoon
1s poset-no-isolated
poset-no-isolated
1s
production deployment production deployment #113: Manually run by ScriptRaccoon
2m 27s main
main
2m 27s
add the category of fields of characteristic zero Test Workflow #1541: Commit 1484202 pushed by ScriptRaccoon
1m 51s main
main
1m 51s
The category of fields of characteristic zero Test Workflow #1540: Pull request #354 opened by ScriptRaccoon
1m 57s field-char-zero
field-char-zero
1m 57s
add the category of finite sets of odd cardinality Test Workflow #1539: Commit 25e7099 pushed by ScriptRaccoon
2m 12s main
main
2m 12s
Variants of the category of finite sets Test Workflow #1538: Pull request #351 synchronize by ScriptRaccoon
2m 4s finite-sets-variants
finite-sets-variants
2m 4s
Variants of the category of finite sets Test Workflow #1537: Pull request #351 synchronize by ScriptRaccoon
2m 34s finite-sets-variants
finite-sets-variants
2m 34s
Variants of the category of finite sets Test Workflow #1536: Pull request #351 synchronize by ScriptRaccoon
2m 17s finite-sets-variants
finite-sets-variants
2m 17s
Variants of the category of finite sets Test Workflow #1535: Pull request #351 synchronize by ScriptRaccoon
2m 0s finite-sets-variants
finite-sets-variants
2m 0s
Variants of the category of finite sets Test Workflow #1534: Pull request #351 synchronize by ScriptRaccoon
1m 53s finite-sets-variants
finite-sets-variants
1m 53s
Variants of the category of finite sets Test Workflow #1533: Pull request #351 synchronize by ScriptRaccoon
1s finite-sets-variants
finite-sets-variants
1s
improve performance of combinations script Test Workflow #1532: Commit 365e345 pushed by ScriptRaccoon
2m 11s main
main
2m 11s
production deployment production deployment #112: Manually run by ScriptRaccoon
1m 50s main
main
1m 50s
Improve combinations script Test Workflow #1531: Pull request #352 synchronize by ScriptRaccoon
2m 10s improve-combinations-script
improve-combinations-script
2m 10s
Improve combinations script Test Workflow #1530: Pull request #352 opened by ScriptRaccoon
2s improve-combinations-script
improve-combinations-script
2s
Variants of the category of finite sets Test Workflow #1529: Pull request #351 synchronize by ScriptRaccoon
10s finite-sets-variants
finite-sets-variants
10s
Decide total and cototal for various categories Test Workflow #1528: Commit 2c02984 pushed by ScriptRaccoon
2m 2s main
main
2m 2s