Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
972 workflow runs
972 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
Unification of categories and functors Test Workflow #727: Pull request #193 synchronize by ScriptRaccoon
26s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
26s
Unification of categories and functors Test Workflow #726: Pull request #193 synchronize by ScriptRaccoon
20s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
20s
Unification of categories and functors Test Workflow #725: Pull request #193 synchronize by ScriptRaccoon
27s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
27s
Unification of categories and functors Test Workflow #724: Pull request #193 synchronize by ScriptRaccoon
21s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
21s
production deployment production deployment #56: Manually run by ScriptRaccoon
1m 13s main
main
1m 13s
fix relations on fdp Test Workflow #723: Commit 8d7bdde pushed by ScriptRaccoon
20s main
main
20s
Unification of categories and functors Test Workflow #722: Pull request #193 synchronize by ScriptRaccoon
20s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
20s
Unification of categories and functors Test Workflow #721: Pull request #193 synchronize by ScriptRaccoon
27s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
27s
Unification of categories and functors Test Workflow #720: Pull request #193 synchronize by ScriptRaccoon
26s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
26s
Unification of categories and functors Test Workflow #719: Pull request #193 synchronize by ScriptRaccoon
22s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
22s
Unification of categories and functors Test Workflow #718: Pull request #193 synchronize by ScriptRaccoon
23s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
23s
Unification of categories and functors Test Workflow #717: Pull request #193 synchronize by ScriptRaccoon
20s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
20s
Unification of categories and functors Test Workflow #716: Pull request #193 synchronize by ScriptRaccoon
1s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
1s
Unification of categories and functors Test Workflow #715: Pull request #193 synchronize by ScriptRaccoon
1s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
1s
production deployment production deployment #55: Manually run by ScriptRaccoon
1m 44s main
main
1m 44s
handle undecidable properties as assignments Test Workflow #714: Commit f514b7e pushed by ScriptRaccoon
28s main
main
28s
Handle undecidable properties as assignments Test Workflow #713: Pull request #203 synchronize by ScriptRaccoon
21s rework-undecidable-properties
rework-undecidable-properties
21s
Handle undecidable properties as assignments Test Workflow #712: Pull request #203 synchronize by ScriptRaccoon
20s rework-undecidable-properties
rework-undecidable-properties
20s
Handle undecidable properties as assignments Test Workflow #711: Pull request #203 opened by ScriptRaccoon
21s rework-undecidable-properties
rework-undecidable-properties
21s
production deployment production deployment #54: Manually run by ScriptRaccoon
1m 42s main
main
1m 42s
expand dictionary Test Workflow #710: Commit b00a936 pushed by ScriptRaccoon
26s main
main
26s
Decide all properties for the category of Hausdorff spaces Test Workflow #709: Pull request #202 synchronize by ScriptRaccoon
27s hausdorff-spaces-proofs
hausdorff-spaces-proofs
27s
Decide all properties for the category of Hausdorff spaces Test Workflow #708: Pull request #202 opened by ScriptRaccoon
26s hausdorff-spaces-proofs
hausdorff-spaces-proofs
26s
Unification of categories and functors Test Workflow #707: Pull request #193 synchronize by ScriptRaccoon
1s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
1s
ℵ₁-cofiltered limits Test Workflow #706: Pull request #200 synchronize by ScriptRaccoon
1s aleph1-cofiltered
aleph1-cofiltered
1s