Edward Thomson 9321800612 Update documentation generation workflow ...

Ensure that workflows where the main branch exists (eg, anything except
PR workflows) don't try to recreate the main branch. Add a concurrency
token so that we don't have conflicts generating documentation.

2024-11-26 20:00:15 +00:00

..

actions

ci: allow opting out of push-options tests

2024-02-29 21:30:09 +00:00

workflows

Update documentation generation workflow

2024-11-26 20:00:15 +00:00

ISSUE_TEMPLATE

github: update issue template

2018-04-18 09:40:44 +01:00

release.yml

meta: add dependency tag to release.yml

2024-02-18 00:55:54 +00:00