Skip to content

Actions: CSSUoB/TeX-Bot-Py-V2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Improve stubs again & remove more ignore comments (#638) Check, Build and Deploy #1729: Commit ad3114c pushed by CarrotManMatt
1m 50s main
main
1m 50s
Improve stubs again & remove more ignore comments (#638) Automatic PR Updater #1093: Commit ad3114c pushed by CarrotManMatt
40s main
main
40s
Improve stubs again & remove more ignore comments Check, Build and Deploy #1728: Pull request #638 opened by CarrotManMatt
2m 35s remove-more-type-ignore
remove-more-type-ignore
2m 35s
Improve stubs again & remove more ignore comments Prevent Database Migration Files Deletion #1415: Pull request #638 opened by CarrotManMatt
10s
10s
Improve stubs again & remove more ignore comments Automatic PR Updater #1092: Commit 36c2d73 pushed by CarrotManMatt
36s remove-more-type-ignore
remove-more-type-ignore
36s
Implement automatic slow-mode handling Check, Build and Deploy #1727: Pull request #495 synchronize by automatic-pr-updater Bot
56s 479-auto-slow-mode
479-auto-slow-mode
56s
Implement utils testing Check, Build and Deploy #1726: Pull request #527 synchronize by automatic-pr-updater Bot
2m 2s test-utils
test-utils
2m 2s
Implement automatic slow-mode handling Prevent Database Migration Files Deletion #1414: Pull request #495 synchronize by automatic-pr-updater Bot
7s
7s
Implement utils testing Prevent Database Migration Files Deletion #1413: Pull request #527 synchronize by automatic-pr-updater Bot
8s
8s
Merge main into 479-auto-slow-mode Automatic PR Updater #1091: Commit 00ab4ae pushed by automatic-pr-updater Bot
27s 479-auto-slow-mode
479-auto-slow-mode
27s
Merge main into test-utils Automatic PR Updater #1090: Commit 526b183 pushed by automatic-pr-updater Bot
30s test-utils
test-utils
30s
Update stub (#637) Automatic PR Updater #1089: Commit 9dea8dd pushed by CarrotManMatt
38s main
main
38s
Update stub (#637) Check, Build and Deploy #1725: Commit 9dea8dd pushed by CarrotManMatt
1m 53s main
main
1m 53s
Update stub Check, Build and Deploy #1724: Pull request #637 opened by CarrotManMatt
1m 53s fix-stubs
fix-stubs
1m 53s
Update stub Prevent Database Migration Files Deletion #1412: Pull request #637 opened by CarrotManMatt
6s
6s
Update stub Automatic PR Updater #1088: Commit 29e6af9 pushed by CarrotManMatt
31s fix-stubs
fix-stubs
31s
Implement utils testing Check, Build and Deploy #1723: Pull request #527 synchronize by automatic-pr-updater Bot
1m 45s test-utils
test-utils
1m 45s
Implement automatic slow-mode handling Check, Build and Deploy #1722: Pull request #495 synchronize by automatic-pr-updater Bot
55s 479-auto-slow-mode
479-auto-slow-mode
55s
Implement utils testing Prevent Database Migration Files Deletion #1411: Pull request #527 synchronize by automatic-pr-updater Bot
8s
8s
Implement automatic slow-mode handling Prevent Database Migration Files Deletion #1410: Pull request #495 synchronize by automatic-pr-updater Bot
6s
6s
Merge main into test-utils Automatic PR Updater #1087: Commit 596abd0 pushed by automatic-pr-updater Bot
31s test-utils
test-utils
31s
Merge main into 479-auto-slow-mode Automatic PR Updater #1086: Commit 2ea384e pushed by automatic-pr-updater Bot
30s 479-auto-slow-mode
479-auto-slow-mode
30s
Add local stubs to remove unused type-ignore comments (#635) Check, Build and Deploy #1721: Commit b30abc1 pushed by CarrotManMatt
1m 54s main
main
1m 54s
Add local stubs to remove unused type-ignore comments (#635) Automatic PR Updater #1085: Commit b30abc1 pushed by CarrotManMatt
37s main
main
37s
Add local stubs to remove unused type-ignore comments Check, Build and Deploy #1720: Pull request #635 synchronize by CarrotManMatt
1m 38s remove-unused-ignore-comments
remove-unused-ignore-comments
1m 38s
ProTip! You can narrow down the results and go further in time using created:<2025-10-07 or the other filters available.