Edward Thomson bb63f769d1 ci: local and global build options ...

Allow for "local" build options and "global" build options, so that
we can simplify the build scripts.

2026-03-14 14:06:18 +00:00

..

actions

ci: allow opting out of push-options tests

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

workflows

ci: local and global build options

2026-03-14 14:06:18 +00:00

ISSUE_TEMPLATE

github: update issue template

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

release.yml

docs: add "benchmarks" section to changelog

2024-12-16 10:56:31 +00:00