Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
893 workflow runs
893 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
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
Small LaTeX adjustments Test Workflow #640: Pull request #187 synchronize by ScriptRaccoon
1s latex-adjustments
latex-adjustments
1s
Small LaTeX adjustments Test Workflow #639: Pull request #187 synchronize by ScriptRaccoon
2s latex-adjustments
latex-adjustments
2s
Small LaTeX adjustments Test Workflow #638: Pull request #187 synchronize by ScriptRaccoon
1s latex-adjustments
latex-adjustments
1s
Small LaTeX adjustments Test Workflow #637: Pull request #187 opened by ScriptRaccoon
1s latex-adjustments
latex-adjustments
1s
remove redundant process.cwd() Test Workflow #636: Commit 286c46c pushed by ScriptRaccoon
19s main
main
19s
production deployment production deployment #47: Manually run by ScriptRaccoon
1m 14s main
main
1m 14s
move markdown files to content folder in root Test Workflow #635: Commit 9edbc0c pushed by ScriptRaccoon
22s main
main
22s
Replace PDFs with markdown-rendered pages Test Workflow #634: Pull request #184 synchronize by ScriptRaccoon
1s upgrade-content-pages
upgrade-content-pages
1s
Replace PDFs with markdown-rendered pages Test Workflow #633: Pull request #184 synchronize by ScriptRaccoon
1s upgrade-content-pages
upgrade-content-pages
1s