Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
362 workflow runs
362 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
Create the category pseudo-metric spaces (WIP) 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
Add Natural Numbers Object Test Workflow #146: Pull request #102 synchronize by ScriptRaccoon
21s VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
21s
Add Natural Numbers Object Test Workflow #145: Pull request #102 synchronize by VeryRandomDeveloper
Action required VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
Action required
Add Natural Numbers Object Test Workflow #144: Pull request #102 opened by VeryRandomDeveloper
23s VeryRandomDeveloper:add-nno
VeryRandomDeveloper:add-nno
23s
Create the category pseudo-metric spaces (WIP) Test Workflow #143: Pull request #101 opened by VeryRandomDeveloper
3s VeryRandomDeveloper:create-category-pseudo-metric-spaces
VeryRandomDeveloper:create-category-pseudo-metric-spaces
3s
production deployment production deployment #27: Manually run by ScriptRaccoon
3m 27s main
main
3m 27s
preview deployment preview deployment #33: Manually run by ScriptRaccoon
5m 5s main
main
5m 5s
update contribution guidelines, mention small PRs Test Workflow #142: Commit c5756b1 pushed by ScriptRaccoon
21s main
main
21s
update doc Test Workflow #141: Commit 551cc33 pushed by ScriptRaccoon
21s main
main
21s
Enforce that the trivial category has no unsatisfied properties Test Workflow #140: Pull request #100 opened by ScriptRaccoon
22s trivial-category-has-everything
trivial-category-has-everything
22s
minor additions to 0,1,2 Test Workflow #139: Commit d54ee1d pushed by ScriptRaccoon
25s main
main
25s
Refactor implications + minor additions Test Workflow #138: Pull request #98 synchronize by ScriptRaccoon
29s add-various-results
add-various-results
29s
Refactor implications + minor additions Test Workflow #137: Pull request #98 synchronize by ScriptRaccoon
1m 54s add-various-results
add-various-results
1m 54s
Refactor implications + minor additions Test Workflow #136: Pull request #98 synchronize by ScriptRaccoon
21s add-various-results
add-various-results
21s