Paul Donald 90836a0fac github: re-work github pages deploy ...

change from peaceiris/actions-gh-pages to github action.

bump checkout action.

Signed-off-by: Paul Donald <newtwen+github@gmail.com>

2026-02-15 19:51:08 +01:00

..

build.yml

github: update workflow actions

2025-10-12 18:31:10 +02: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

github: bump codeql

2026-02-15 19:51:08 +01:00

eslint.yml

github: update workflow actions

2025-10-12 18:31:10 +02:00

formal.yml

formal: post formality check comments to PRs

2025-12-15 21:40:40 +01:00

jsdoc.yml

github: re-work github pages deploy

2026-02-15 19:51:08 +01:00