Paul Donald 048c39abdf house-keeping: PR template with submission checklist ...

also check PR source branch (head_ref) is not main/master

2024-01-30 01:27:30 +01:00

..

build.yml

CI: update dependencies

2023-03-29 01:27:32 +08: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

formal.yml

house-keeping: workflow fixes

2024-01-30 00:53:23 +01:00

jsdoc.yml

CI: update remaining outdated dependencies

2023-04-01 04:31:08 +08:00