Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,289 workflow runs
1,289 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
production deployment production deployment #80: Manually run by ScriptRaccoon
1m 28s main
main
1m 28s
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
production deployment production deployment #79: Manually run by ScriptRaccoon
1m 59s main
main
1m 59s
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
Show functors on category detail page, and improve functor notation Test Workflow #1010: Pull request #261 synchronize by ScriptRaccoon
29s show-functors-on-category-page
show-functors-on-category-page
29s
Show functors on category detail page, and improve functor notation Test Workflow #1009: Pull request #261 synchronize by ScriptRaccoon
30s show-functors-on-category-page
show-functors-on-category-page
30s
Show functors on category detail page, and improve functor notation Test Workflow #1008: Pull request #261 opened by ScriptRaccoon
30s show-functors-on-category-page
show-functors-on-category-page
30s
add walking isomorphism object inclusion Test Workflow #1007: Commit 21d3ccc pushed by ScriptRaccoon
25s main
main
25s
Add isomorphisms of categories Test Workflow #1006: Pull request #260 synchronize by ScriptRaccoon
24s functor-isomorphism
functor-isomorphism
24s
Add isomorphisms of categories Test Workflow #1005: Pull request #260 synchronize by ScriptRaccoon
28s functor-isomorphism
functor-isomorphism
28s
Add isomorphisms of categories Test Workflow #1004: Pull request #260 opened by ScriptRaccoon
23s functor-isomorphism
functor-isomorphism
23s
add link to thread about conditions for Sh(X) being lfp Test Workflow #1003: Commit 48324cb pushed by ScriptRaccoon
29s main
main
29s
Add quasitopos property Test Workflow #1002: Pull request #243 synchronize by dschepler
29s dschepler:quasitopos
dschepler:quasitopos
29s
Add quasitopos property Test Workflow #1001: Pull request #243 synchronize by dschepler
22s dschepler:quasitopos
dschepler:quasitopos
22s
production deployment production deployment #78: Manually run by ScriptRaccoon
1m 56s main
main
1m 56s
update database diagram Test Workflow #1000: Commit 70637d4 pushed by ScriptRaccoon
30s main
main
30s
Support tags for properties of categories and functors Test Workflow #999: Pull request #259 synchronize by ScriptRaccoon
22s tags-for-properties
tags-for-properties
22s
Support tags for properties of categories and functors Test Workflow #998: Pull request #259 synchronize by ScriptRaccoon
22s tags-for-properties
tags-for-properties
22s
Support tags for properties of categories and functors Test Workflow #997: Pull request #259 synchronize by ScriptRaccoon
23s tags-for-properties
tags-for-properties
23s
Support tags for properties of categories and functors Test Workflow #996: Pull request #259 synchronize by ScriptRaccoon
27s tags-for-properties
tags-for-properties
27s
Support tags for properties of categories and functors Test Workflow #995: Pull request #259 synchronize by ScriptRaccoon
24s tags-for-properties
tags-for-properties
24s
Support tags for properties of categories and functors Test Workflow #994: Pull request #259 opened by ScriptRaccoon
32s tags-for-properties
tags-for-properties
32s