Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
446 workflow runs
446 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
Congruence quotients Test Workflow #235: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Congruence quotients Test Workflow #234: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Congruence quotients Test Workflow #233: Pull request #115 synchronize by dschepler
23s dschepler:congruence-quotients
dschepler:congruence-quotients
23s
Congruence quotients Test Workflow #232: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Add the category of sets with finite-to-one maps Test Workflow #231: Pull request #117 synchronize by ScriptRaccoon
20s finite-to-one-maps
finite-to-one-maps
20s
Fix the descriptions of multi-terminal and multi-initial objects Test Workflow #230: Commit 1b9be5c pushed by ScriptRaccoon
21s main
main
21s
Fix the descriptions of multi-terminal and multi-initial objects Test Workflow #229: Pull request #118 synchronize by ykawase5048
21s ykawase5048:fix-multiterminal-description
ykawase5048:fix-multiterminal-description
21s
Fix the descriptions of multi-terminal and multi-initial objects Test Workflow #228: Pull request #118 opened by ykawase5048
20s ykawase5048:fix-multiterminal-description
ykawase5048:fix-multiterminal-description
20s
Add the category of sets with finite-to-one maps Test Workflow #227: Pull request #117 synchronize by ScriptRaccoon
22s finite-to-one-maps
finite-to-one-maps
22s
Congruence quotients Test Workflow #226: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Add the category of sets with finite-to-one maps Test Workflow #225: Pull request #117 synchronize by ScriptRaccoon
21s finite-to-one-maps
finite-to-one-maps
21s
Add the category of sets with finite-to-one maps Test Workflow #224: Pull request #117 synchronize by ScriptRaccoon
1s finite-to-one-maps
finite-to-one-maps
1s
Congruence quotients Test Workflow #223: Pull request #115 synchronize by dschepler
25s dschepler:congruence-quotients
dschepler:congruence-quotients
25s
Congruence quotients Test Workflow #222: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Congruence quotients Test Workflow #221: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Add the category of sets with finite-to-one maps Test Workflow #220: Pull request #117 synchronize by ScriptRaccoon
1s finite-to-one-maps
finite-to-one-maps
1s
Add the category of sets with finite-to-one maps Test Workflow #219: Pull request #117 opened by ScriptRaccoon
1s finite-to-one-maps
finite-to-one-maps
1s
Congruence quotients Test Workflow #218: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Congruence quotients Test Workflow #217: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Congruence quotients Test Workflow #216: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Congruence quotients Test Workflow #215: Pull request #115 synchronize by dschepler
Action required dschepler:congruence-quotients
dschepler:congruence-quotients
Action required
Congruence quotients Test Workflow #214: Pull request #115 synchronize by ScriptRaccoon
22s dschepler:congruence-quotients
dschepler:congruence-quotients
22s
production deployment production deployment #30: Manually run by ScriptRaccoon
3m 28s main
main
3m 28s
preview deployment preview deployment #37: Manually run by ScriptRaccoon
4m 2s main
main
4m 2s
rework proof that Man is not aleph1-accessible Test Workflow #213: Commit 4635896 pushed by ScriptRaccoon
21s main
main
21s