Paul Donald e557e17829 house-keeping: workflow improvements ... pass tests when Weblate PR only adds an i18n		2024-02-08 14:30:53 +01:00
..
build.yml	house-keeping: migrate workflows from GitHub deprecated node16 -> node20	2024-01-31 03:59:40 +01:00
check_source_branch_is_not_master.yml	house-keeping: PR template with submission checklist	2024-01-30 01:27:30 +01:00
ci_helpers.sh	CI: add formal tests	2021-10-09 22:52:02 -10:00
codeql.yml	house-keeping: Enable Code Query Language (CodeQL) scanning	2024-01-31 23:38:41 +01:00
formal.yml	house-keeping: workflow improvements	2024-02-08 14:30:53 +01:00
jsdoc.yml	house-keeping: Enable jsdoc workflow to run in forks also.	2024-01-31 23:38:41 +01:00