Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,839 workflow runs
1,839 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
briefly mention approval of submissions Test Workflow #1522: Commit 7407140 pushed by ScriptRaccoon
2m 8s main
main
2m 8s
Variants of the category of finite sets Test Workflow #1521: Pull request #351 opened by ScriptRaccoon
11s finite-sets-variants
finite-sets-variants
11s
remove brackets from category ID Test Workflow #1520: Commit f5fc4c0 pushed by ScriptRaccoon
1m 55s main
main
1m 55s
Add two categories of finitely generated projective modules Test Workflow #1519: Pull request #350 synchronize by ScriptRaccoon
1m 55s finite-projective-modules
finite-projective-modules
1m 55s
Add two categories of finitely generated projective modules Test Workflow #1518: Pull request #350 synchronize by ScriptRaccoon
2m 24s finite-projective-modules
finite-projective-modules
2m 24s
Add total/cototal category properties Test Workflow #1517: Pull request #254 synchronize by ScriptRaccoon
1m 58s dschepler:total-category
dschepler:total-category
1m 58s
Add total/cototal category properties Test Workflow #1516: Pull request #254 synchronize by ScriptRaccoon
2m 43s dschepler:total-category
dschepler:total-category
2m 43s
Add two categories of finitely generated projective modules Test Workflow #1515: Pull request #350 opened by ScriptRaccoon
2m 1s finite-projective-modules
finite-projective-modules
2m 1s
Add total/cototal category properties Test Workflow #1514: Pull request #254 synchronize by dschepler
1m 56s dschepler:total-category
dschepler:total-category
1m 56s
Add total/cototal category properties Test Workflow #1513: Pull request #254 synchronize by dschepler
2m 3s dschepler:total-category
dschepler:total-category
2m 3s
Add total/cototal category properties Test Workflow #1512: Pull request #254 synchronize by dschepler
2m 0s dschepler:total-category
dschepler:total-category
2m 0s
adjust end-to-end tests to updated tag chips Test Workflow #1511: Commit 80a5e9a pushed by ScriptRaccoon
2m 13s main
main
2m 13s
Improve chips Test Workflow #1510: Pull request #349 synchronize by ScriptRaccoon
2m 23s chip-links
chip-links
2m 23s
Improve chips Test Workflow #1509: Pull request #349 opened by ScriptRaccoon
11m 12s chip-links
chip-links
11m 12s
apply the special adjoint functor theorem to tensoring functors Test Workflow #1508: Commit 022b9b3 pushed by ScriptRaccoon
2m 39s main
main
2m 39s
production deployment production deployment #111: Manually run by ScriptRaccoon
2m 34s main
main
2m 34s
add example of a cocomplete category without equalizers; decide its p… Test Workflow #1507: Commit dd52312 pushed by ScriptRaccoon
2m 0s main
main
2m 0s
Add an example of a cocomplete category without equalizers Test Workflow #1506: Pull request #340 synchronize by ScriptRaccoon
2m 3s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
2m 3s
Add an example of a cocomplete category without equalizers Test Workflow #1505: Pull request #340 synchronize by ScriptRaccoon
1m 43s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1m 43s
Add an example of a cocomplete category without equalizers Test Workflow #1504: Pull request #340 synchronize by ScriptRaccoon
2m 14s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
2m 14s
add more examples of code snippets Test Workflow #1503: Commit bb99b4c pushed by ScriptRaccoon
2m 40s main
main
2m 40s
Design improvements Test Workflow #1502: Pull request #348 synchronize by ScriptRaccoon
2m 10s design-improvements
design-improvements
2m 10s
Design improvements Test Workflow #1501: Pull request #348 synchronize by ScriptRaccoon
11s design-improvements
design-improvements
11s
Design improvements Test Workflow #1500: Pull request #348 synchronize by ScriptRaccoon
1s design-improvements
design-improvements
1s
Design improvements Test Workflow #1499: Pull request #348 synchronize by ScriptRaccoon
1s design-improvements
design-improvements
1s