Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,750 workflow runs
1,750 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 #107: Manually run by ScriptRaccoon
1m 59s main
main
1m 59s
remove proof length script Test Workflow #1437: Commit 9806e33 pushed by ScriptRaccoon
2m 9s main
main
2m 9s
Content pages for reusable content only Test Workflow #1436: Pull request #338 opened by ScriptRaccoon
2m 2s content-pages-for-lemmas-only
content-pages-for-lemmas-only
2m 2s
Justify mathematical texts Test Workflow #1435: Pull request #337 synchronize by ScriptRaccoon
2m 16s improve-math-text-display
improve-math-text-display
2m 16s
Justify mathematical texts Test Workflow #1434: Pull request #337 opened by ScriptRaccoon
2m 29s improve-math-text-display
improve-math-text-display
2m 29s
fix display of preservation properties on implication page Test Workflow #1433: Commit 75fbb30 pushed by ScriptRaccoon
2m 3s main
main
2m 3s
production deployment production deployment #106: Manually run by ScriptRaccoon
1m 31s main
main
1m 31s
make is_equivalence false by default Test Workflow #1432: Commit 95eb154 pushed by ScriptRaccoon
2m 14s main
main
2m 14s
Implications are not equivalences by default Test Workflow #1431: Pull request #336 opened by ScriptRaccoon
2m 14s implications-are-not-equivalences-by-default
implications-are-not-equivalences-by-default
2m 14s
fix formatting Test Workflow #1430: Commit ef3d228 pushed by ScriptRaccoon
2m 11s main
main
2m 11s
production deployment production deployment #105: Manually run by ScriptRaccoon
2m 30s main
main
2m 30s
improve end-to-end tests Test Workflow #1429: Commit eb4d0a4 pushed by ScriptRaccoon
1m 55s main
main
1m 55s
Improve end-to-end tests Test Workflow #1428: Pull request #335 opened by ScriptRaccoon
1m 59s improve-e2e-tests
improve-e2e-tests
1m 59s
improve table aliases Test Workflow #1427: Commit 0ee1187 pushed by ScriptRaccoon
1m 50s main
main
1m 50s
Refactor associated structures Test Workflow #1426: Pull request #334 synchronize by ScriptRaccoon
1m 53s structure-map-assignments
structure-map-assignments
1m 53s
Refactor associated structures Test Workflow #1425: Pull request #334 synchronize by ScriptRaccoon
1m 58s structure-map-assignments
structure-map-assignments
1m 58s
Refactor associated structures Test Workflow #1424: Pull request #334 synchronize by ScriptRaccoon
1m 57s structure-map-assignments
structure-map-assignments
1m 57s
Refactor associated structures Test Workflow #1423: Pull request #334 synchronize by ScriptRaccoon
11s structure-map-assignments
structure-map-assignments
11s
Refactor associated structures Test Workflow #1422: Pull request #334 synchronize by ScriptRaccoon
7s structure-map-assignments
structure-map-assignments
7s
Refactor associated structures Test Workflow #1421: Pull request #334 synchronize by ScriptRaccoon
1s structure-map-assignments
structure-map-assignments
1s
Refactor associated structures Test Workflow #1420: Pull request #334 synchronize by ScriptRaccoon
1s structure-map-assignments
structure-map-assignments
1s
Refactor associated structures Test Workflow #1419: Pull request #334 synchronize by ScriptRaccoon
1s structure-map-assignments
structure-map-assignments
1s
Refactor associated structures Test Workflow #1418: Pull request #334 opened by ScriptRaccoon
1s structure-map-assignments
structure-map-assignments
1s
small fix on category detail page Test Workflow #1417: Commit c9f312c pushed by ScriptRaccoon
1m 58s main
main
1m 58s
production deployment production deployment #104: Manually run by ScriptRaccoon
1m 37s main
main
1m 37s