Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
902 workflow runs
902 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
Refactor Svelte components – Unification of categories and functors Test Workflow #663: Pull request #193 opened by ScriptRaccoon
1s refactor-svelte-components-for-unification
refactor-svelte-components-for-unification
1s
turn contribution page into content page Test Workflow #662: Commit c486de1 pushed by ScriptRaccoon
26s main
main
26s
Convert resources and contribution pages to content pages Test Workflow #661: Pull request #192 opened by ScriptRaccoon
27s resources-and-contribution-page
resources-and-contribution-page
27s
remove "category" as default value from Svelte components and propert… Test Workflow #660: Commit a1e6136 pushed by ScriptRaccoon
27s main
main
27s
Merge category and functor deduction scripts Test Workflow #659: Pull request #191 synchronize by ScriptRaccoon
21s refactor-functor-deductions
refactor-functor-deductions
21s
Merge category and functor deduction scripts Test Workflow #658: Pull request #191 synchronize by ScriptRaccoon
27s refactor-functor-deductions
refactor-functor-deductions
27s
Merge category and functor deduction scripts Test Workflow #657: Pull request #191 synchronize by ScriptRaccoon
23s refactor-functor-deductions
refactor-functor-deductions
23s
production deployment production deployment #49: Manually run by ScriptRaccoon
1m 42s main
main
1m 42s
Merge category and functor deduction scripts Test Workflow #656: Pull request #191 opened by ScriptRaccoon
25s refactor-functor-deductions
refactor-functor-deductions
25s
remove redundant and unused implication Test Workflow #655: Commit 0dab89f pushed by ScriptRaccoon
20s main
main
20s
Show implication usage Test Workflow #654: Pull request #190 synchronize by ScriptRaccoon
24s implication-usage
implication-usage
24s
Show implication usage Test Workflow #653: Pull request #190 opened by ScriptRaccoon
21s implication-usage
implication-usage
21s
Add property: ℵ₁-filtered colimits (WIP) Test Workflow #652: Pull request #179 synchronize by ScriptRaccoon
1s aleph1-filtered-colimits
aleph1-filtered-colimits
1s
Add property: ℵ₁-filtered colimits (WIP) Test Workflow #651: Pull request #179 synchronize by ScriptRaccoon
1s aleph1-filtered-colimits
aleph1-filtered-colimits
1s
list funding options Test Workflow #650: Commit cc67663 pushed by ScriptRaccoon
26s main
main
26s
production deployment production deployment #48: Manually run by ScriptRaccoon
1m 23s main
main
1m 23s
show entities that reference the given content page Test Workflow #649: Commit 0bd5cdf pushed by ScriptRaccoon
23s main
main
23s
Content pages: various improvements Test Workflow #648: Pull request #189 synchronize by ScriptRaccoon
20s content-pages-improvements
content-pages-improvements
20s
Content pages: various improvements Test Workflow #647: Pull request #189 opened by ScriptRaccoon
27s content-pages-improvements
content-pages-improvements
27s
render full markdown in theorem environments Test Workflow #646: Commit f1f2fcd pushed by ScriptRaccoon
20s main
main
20s
Replace all lemmas with markdown-generated content pages Test Workflow #645: Pull request #188 synchronize by ScriptRaccoon
22s replace-lemmas-with-content-pages
replace-lemmas-with-content-pages
22s
Replace all lemmas with markdown-generated content pages Test Workflow #644: Pull request #188 opened by ScriptRaccoon
21s replace-lemmas-with-content-pages
replace-lemmas-with-content-pages
21s
adjust sizes of brackets Test Workflow #643: Commit b2e76cb pushed by ScriptRaccoon
21s main
main
21s
Small LaTeX adjustments Test Workflow #642: Pull request #187 synchronize by ScriptRaccoon
27s latex-adjustments
latex-adjustments
27s
Small LaTeX adjustments Test Workflow #641: Pull request #187 synchronize by ScriptRaccoon
1s latex-adjustments
latex-adjustments
1s