Skip to content

Actions: ScriptRaccoon/CatDat

Actions

Test Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
629 workflow runs
629 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
Add property: ℵ₁-filtered colimits Test Workflow #670: Pull request #179 synchronize by ScriptRaccoon
24s aleph1-filtered-colimits
aleph1-filtered-colimits
24s
Add property: ℵ₁-filtered colimits Test Workflow #669: Pull request #179 synchronize by ScriptRaccoon
22s aleph1-filtered-colimits
aleph1-filtered-colimits
22s
Add property: ℵ₁-filtered colimits Test Workflow #668: Pull request #179 synchronize by ScriptRaccoon
24s aleph1-filtered-colimits
aleph1-filtered-colimits
24s
Add property: ℵ₁-filtered colimits Test Workflow #667: Pull request #179 synchronize by ScriptRaccoon
23s aleph1-filtered-colimits
aleph1-filtered-colimits
23s
Add property: ℵ₁-filtered colimits Test Workflow #666: Pull request #179 synchronize by ScriptRaccoon
23s aleph1-filtered-colimits
aleph1-filtered-colimits
23s
Add property: ℵ₁-filtered colimits Test Workflow #665: Pull request #179 synchronize by ScriptRaccoon
1s aleph1-filtered-colimits
aleph1-filtered-colimits
1s
Add property: ℵ₁-filtered colimits Test Workflow #664: Pull request #179 synchronize by ScriptRaccoon
1s aleph1-filtered-colimits
aleph1-filtered-colimits
1s
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
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 Test Workflow #652: Pull request #179 synchronize by ScriptRaccoon
1s aleph1-filtered-colimits
aleph1-filtered-colimits
1s
Add property: ℵ₁-filtered colimits 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
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