Trigger GitHub workflows instead of Azure Pipelines - #4

Merged

dscho merged 9 commits into

mainfrom

migrate-gitgitgadget-to-github-actions

Aug 28, 2025

Commits on Aug 20, 2025

vscode(Debug Tests): show the output in the integrated console
dscho
committed
6c97a50

Commits on Aug 21, 2025

test: stop asserting things _inside_ a mocked function
dscho
committed
1665a87
Add a function to list GitHub workflow runs
dscho
committed
5aebcfd
Simplify the `triggerWorkflowDispatch()` call
dscho
committed
31edbe5
Trigger `update-prs` and `update-mail-to-commit-notes` on `seen` updates
dscho
committed
8580d33
Trigger `handle-new-mails` on new mails
dscho
committed
2d7ebae
Trigger the new GitHub workflow to handle PR comments
dscho
committed
ba63040
Trigger `handle-pr-push` on PR updates
dscho
committed
d5eed8c
Retire the `triggerAzurePipeline()` function
dscho
committed
3f63a6a