4 Commits

Include renames

Author	SHA1	Message	Date
Hamish Coleman	8504b7c268	Minor lint cleanup	2021-11-02 09:29:01 +00:00
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
Hamish Coleman	dfc1c85bce	Get the repo history	2021-11-01 19:15:23 +00:00
Hamish Coleman	d22f74bf69	Add a build job to dump details about the repository	2021-11-01 19:15:23 +00:00