Skip to content

Actions: ScriptRaccoon/CatDat

Actions

Test Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
994 workflow runs
994 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
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
add regular and coregular functors Test Workflow #1023: Commit 2bf31fa pushed by ScriptRaccoon
30s main
main
30s
Add Sierpinski topos (category of set functions and commutative squares) Test Workflow #1022: Pull request #264 synchronize by ScriptRaccoon
28s dschepler:sierpinski-topos
dschepler:sierpinski-topos
28s
Add Sierpinski topos (category of set functions and commutative squares) Test Workflow #1021: Pull request #264 opened by dschepler
23s dschepler:sierpinski-topos
dschepler:sierpinski-topos
23s
Identify properties by ID and type Test Workflow #1020: Pull request #263 synchronize by ScriptRaccoon
29s property-table-design
property-table-design
29s
Identify properties by ID and type Test Workflow #1019: Pull request #263 opened by ScriptRaccoon
26s property-table-design
property-table-design
26s
fix generation of contradiction proof Test Workflow #1018: Commit a5ee0ff pushed by ScriptRaccoon
30s main
main
30s
Add functor properties: preserve regular epis / monos Test Workflow #1017: Pull request #262 synchronize by ScriptRaccoon
23s preserves-regular-epis
preserves-regular-epis
23s
Add functor properties: preserve regular epis / monos Test Workflow #1016: Pull request #262 synchronize by ScriptRaccoon
30s preserves-regular-epis
preserves-regular-epis
30s
fix abelianizations Test Workflow #1015: Commit ff45b02 pushed by ScriptRaccoon
29s main
main
29s
Add functor properties: preserve regular epis / monos Test Workflow #1014: Pull request #262 opened by ScriptRaccoon
25s preserves-regular-epis
preserves-regular-epis
25s
remove redundant assignment: Ban is not co-Malcev since it is not cou… Test Workflow #1013: Commit 47f0792 pushed by ScriptRaccoon
25s main
main
25s
change notation of the two power set functors Test Workflow #1012: Commit b6d962b pushed by ScriptRaccoon
45s main
main
45s
Show functors on category detail page, and improve functor notation Test Workflow #1011: Pull request #261 synchronize by ScriptRaccoon
29s show-functors-on-category-page
show-functors-on-category-page
29s