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
Add local stubs to remove unused type-ignore comments Prevent Database Migration Files Deletion #1409: Pull request #635 synchronize by CarrotManMatt
7s
7s
Update ping.py Automatic PR Updater #1084: Commit b33dacd pushed by CarrotManMatt
29s remove-unused-ignore-comments
remove-unused-ignore-comments
29s
Add local stubs to remove unused type-ignore comments Check, Build and Deploy #1719: Pull request #635 synchronize by automatic-pr-updater Bot
1m 39s remove-unused-ignore-comments
remove-unused-ignore-comments
1m 39s
Implement automatic slow-mode handling Check, Build and Deploy #1718: Pull request #495 synchronize by automatic-pr-updater Bot
56s 479-auto-slow-mode
479-auto-slow-mode
56s
Add local stubs to remove unused type-ignore comments Prevent Database Migration Files Deletion #1408: Pull request #635 synchronize by automatic-pr-updater Bot
9s
9s
Implement automatic slow-mode handling Prevent Database Migration Files Deletion #1407: Pull request #495 synchronize by automatic-pr-updater Bot
9s
9s
Merge main into remove-unused-ignore-comments Automatic PR Updater #1083: Commit 70a9ca4 pushed by automatic-pr-updater Bot
25s remove-unused-ignore-comments
remove-unused-ignore-comments
25s
Implement utils testing Check, Build and Deploy #1717: Pull request #527 synchronize by automatic-pr-updater Bot
1m 48s test-utils
test-utils
1m 48s
Merge main into 479-auto-slow-mode Automatic PR Updater #1082: Commit 0bdc05c pushed by automatic-pr-updater Bot
28s 479-auto-slow-mode
479-auto-slow-mode
28s
Implement utils testing Prevent Database Migration Files Deletion #1406: Pull request #527 synchronize by automatic-pr-updater Bot
8s
8s
Merge main into test-utils Automatic PR Updater #1081: Commit d20d065 pushed by automatic-pr-updater Bot
31s test-utils
test-utils
31s
Improve docs (#634) Check, Build and Deploy #1716: Commit bbefbaf pushed by CarrotManMatt
1m 56s main
main
1m 56s
Improve docs (#634) Automatic PR Updater #1080: Commit bbefbaf pushed by CarrotManMatt
51s main
main
51s
Implement utils testing Check, Build and Deploy #1715: Pull request #527 synchronize by automatic-pr-updater Bot
1m 59s test-utils
test-utils
1m 59s
Implement utils testing Prevent Database Migration Files Deletion #1405: Pull request #527 synchronize by automatic-pr-updater Bot
8s
8s
Merge main into test-utils Automatic PR Updater #1079: Commit db7a189 pushed by automatic-pr-updater Bot
32s test-utils
test-utils
32s
Implement automatic slow-mode handling Check, Build and Deploy #1714: Pull request #495 synchronize by automatic-pr-updater Bot
55s 479-auto-slow-mode
479-auto-slow-mode
55s
Add local stubs to remove unused type-ignore comments Check, Build and Deploy #1713: Pull request #635 synchronize by automatic-pr-updater Bot
1m 37s remove-unused-ignore-comments
remove-unused-ignore-comments
1m 37s
Implement automatic slow-mode handling Prevent Database Migration Files Deletion #1404: Pull request #495 synchronize by automatic-pr-updater Bot
7s
7s
Improve docs Check, Build and Deploy #1712: Pull request #634 synchronize by automatic-pr-updater Bot
1m 52s improve-docs
improve-docs
1m 52s
Add local stubs to remove unused type-ignore comments Prevent Database Migration Files Deletion #1403: Pull request #635 synchronize by automatic-pr-updater Bot
6s
6s
Merge main into 479-auto-slow-mode Automatic PR Updater #1078: Commit 2965bf2 pushed by automatic-pr-updater Bot
33s 479-auto-slow-mode
479-auto-slow-mode
33s
Improve docs Prevent Database Migration Files Deletion #1402: Pull request #634 synchronize by automatic-pr-updater Bot
7s
7s
Merge main into remove-unused-ignore-comments Automatic PR Updater #1077: Commit bbc5f41 pushed by automatic-pr-updater Bot
31s remove-unused-ignore-comments
remove-unused-ignore-comments
31s
Merge main into improve-docs Automatic PR Updater #1076: Commit 2d9563b pushed by automatic-pr-updater Bot
25s improve-docs
improve-docs
25s
ProTip! You can narrow down the results and go further in time using created:<2025-10-07 or the other filters available.