Hamish Coleman 6c3ccadde1 Try to make debug workflow demand triggerable ... The docs claim that by adding the right `on:` event, the job can be manually triggered from the github UI. https://docs.github.com/en/actions/learn-github-actions/events-that-trigger-workflows#workflow_dispatch Tests show that it doesnt work, but I can leave it here for reference.		2021-11-01 19:15:23 +00:00
..
workflows	Try to make debug workflow demand triggerable	2021-11-01 19:15:23 +00:00