Skip to content

Actions: ScriptRaccoon/CatDat

Actions

Test Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
171 workflow runs
171 workflow runs

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
Admin page Test Workflow #171: Pull request #108 opened by ScriptRaccoon
28s admin-page
admin-page
28s
Initial addition of Barr-exact, Barr-coexact, pretopos properties and… Test Workflow #170: Pull request #103 synchronize by dschepler
Action required dschepler:barr-exact
dschepler:barr-exact
Action required
Initial addition of Barr-exact, Barr-coexact, pretopos properties and… Test Workflow #169: Pull request #103 synchronize by dschepler
Action required dschepler:barr-exact
dschepler:barr-exact
Action required
Exact cofiltered limits and related notions Test Workflow #168: Pull request #107 opened by ScriptRaccoon
1s exact-cofiltered-limits
exact-cofiltered-limits
1s
Initial addition of Barr-exact, Barr-coexact, pretopos properties and… Test Workflow #167: Pull request #103 synchronize by dschepler
Action required dschepler:barr-exact
dschepler:barr-exact
Action required
Initial addition of Barr-exact, Barr-coexact, pretopos properties and… Test Workflow #166: Pull request #103 synchronize by dschepler
Action required dschepler:barr-exact
dschepler:barr-exact
Action required
Initial addition of Barr-exact, Barr-coexact, pretopos properties and… Test Workflow #165: Pull request #103 opened by dschepler
Action required dschepler:barr-exact
dschepler:barr-exact
Action required
adjust constructions for Met Test Workflow #164: Commit e06d3ad pushed by ScriptRaccoon
23s main
main
23s
Add the category of pseudo-metric spaces Test Workflow #163: Pull request #101 synchronize by ScriptRaccoon
25s VeryRandomDeveloper:create-category-pseudo-metric-spaces
VeryRandomDeveloper:create-category-pseudo-metric-spaces
25s
Add the category of pseudo-metric spaces Test Workflow #162: Pull request #101 synchronize by ScriptRaccoon
1s VeryRandomDeveloper:create-category-pseudo-metric-spaces
VeryRandomDeveloper:create-category-pseudo-metric-spaces
1s
Add the category of pseudo-metric spaces Test Workflow #161: Pull request #101 synchronize by ScriptRaccoon
1s VeryRandomDeveloper:create-category-pseudo-metric-spaces
VeryRandomDeveloper:create-category-pseudo-metric-spaces
1s
Add the category of pseudo-metric spaces Test Workflow #160: Pull request #101 synchronize by ScriptRaccoon
1s VeryRandomDeveloper:create-category-pseudo-metric-spaces
VeryRandomDeveloper:create-category-pseudo-metric-spaces
1s
Add the category of pseudo-metric spaces Test Workflow #159: Pull request #101 synchronize by ScriptRaccoon
1s VeryRandomDeveloper:create-category-pseudo-metric-spaces
VeryRandomDeveloper:create-category-pseudo-metric-spaces
1s
Add the category of pseudo-metric spaces Test Workflow #158: Pull request #101 synchronize by ScriptRaccoon
1s VeryRandomDeveloper:create-category-pseudo-metric-spaces
VeryRandomDeveloper:create-category-pseudo-metric-spaces
1s
group dual properties Test Workflow #157: Commit 3b4f4fe pushed by ScriptRaccoon
25s main
main
25s
Test Workflow Test Workflow #156: Manually run by ScriptRaccoon
24s group-properties-in-list-page
group-properties-in-list-page
24s
Group properties in list page (WIP) Test Workflow #155: Pull request #99 synchronize by ScriptRaccoon
2s group-properties-in-list-page
group-properties-in-list-page
2s
decide NNO for various categories Test Workflow #154: Commit e040eaa pushed by ScriptRaccoon
22s main
main
22s
Add Natural Numbers Object Test Workflow #153: Pull request #102 synchronize by ScriptRaccoon
20s VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
20s
Add Natural Numbers Object Test Workflow #152: Pull request #102 synchronize by ScriptRaccoon
Action required VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
Action required
Add Natural Numbers Object Test Workflow #151: Pull request #102 synchronize by ScriptRaccoon
Action required VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
Action required
Add Natural Numbers Object Test Workflow #150: Pull request #102 synchronize by ScriptRaccoon
Action required VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
Action required
Add Natural Numbers Object Test Workflow #149: Pull request #102 synchronize by ScriptRaccoon
Action required VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
Action required
Add Natural Numbers Object Test Workflow #148: Pull request #102 synchronize by ScriptRaccoon
21s VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
21s
Add Natural Numbers Object Test Workflow #147: Pull request #102 synchronize by ScriptRaccoon
Action required VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
Action required