Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,322 workflow runs
1,322 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
Add category Mono of injective set functions and commutative squares Test Workflow #1045: Pull request #266 synchronize by dschepler
23s dschepler:mono-category
dschepler:mono-category
23s
Add category Mono of injective set functions and commutative squares Test Workflow #1044: Pull request #266 synchronize by dschepler
24s dschepler:mono-category
dschepler:mono-category
24s
Add category Mono of injective set functions and commutative squares Test Workflow #1043: Pull request #266 synchronize by dschepler
22s dschepler:mono-category
dschepler:mono-category
22s
improve handling of preservation properties Test Workflow #1042: Commit ae23b40 pushed by ScriptRaccoon
33s main
main
33s
Various refactorings Test Workflow #1041: Pull request #269 synchronize by ScriptRaccoon
24s cleanup
cleanup
24s
Various refactorings Test Workflow #1040: Pull request #269 opened by ScriptRaccoon
31s cleanup
cleanup
31s
Add category Mono of injective set functions and commutative squares Test Workflow #1039: Pull request #266 synchronize by dschepler
24s dschepler:mono-category
dschepler:mono-category
24s
small refactor of search intro page Test Workflow #1038: Commit 4d938c1 pushed by ScriptRaccoon
22s main
main
22s
preview deployment preview deployment #86: Manually run by ScriptRaccoon
2m 10s dynamic-routes
dynamic-routes
2m 10s
Use Dynamic Routes Test Workflow #1037: Pull request #268 synchronize by ScriptRaccoon
22s dynamic-routes
dynamic-routes
22s
Use Dynamic Routes Test Workflow #1036: Pull request #268 synchronize by ScriptRaccoon
26s dynamic-routes
dynamic-routes
26s
Use Dynamic Routes Test Workflow #1035: Pull request #268 synchronize by ScriptRaccoon
28s dynamic-routes
dynamic-routes
28s
Use Dynamic Routes Test Workflow #1034: Pull request #268 synchronize by ScriptRaccoon
22s dynamic-routes
dynamic-routes
22s
Use Dynamic Routes Test Workflow #1033: Pull request #268 synchronize by ScriptRaccoon
23s dynamic-routes
dynamic-routes
23s
Use Dynamic Routes Test Workflow #1032: Pull request #268 opened by ScriptRaccoon
21s dynamic-routes
dynamic-routes
21s
rename: ambient_category ---> category (for morphism type) Test Workflow #1031: Commit dab926f pushed by ScriptRaccoon
30s main
main
30s
Add new structure type: morphisms Test Workflow #1030: Pull request #265 synchronize by ScriptRaccoon
26s morphisms
morphisms
26s
Add category Mono of injective set functions and commutative squares Test Workflow #1029: Pull request #266 opened by dschepler
29s dschepler:mono-category
dschepler:mono-category
29s
small adjustments for Set_arrow Test Workflow #1028: Commit 0b8348f pushed by ScriptRaccoon
24s main
main
24s
Add new structure type: morphisms Test Workflow #1027: Pull request #265 synchronize by ScriptRaccoon
1s morphisms
morphisms
1s
Add new structure type: morphisms Test Workflow #1026: Pull request #265 synchronize by ScriptRaccoon
1s morphisms
morphisms
1s
Add new structure type: morphisms Test Workflow #1025: Pull request #265 synchronize by ScriptRaccoon
1s morphisms
morphisms
1s
Add new structure type: morphisms Test Workflow #1024: Pull request #265 opened by ScriptRaccoon
1s morphisms
morphisms
1s
production deployment production deployment #81: Manually run by ScriptRaccoon
1m 50s main
main
1m 50s
preview deployment preview deployment #85: Manually run by ScriptRaccoon
1m 26s main
main
1m 26s