Paul Donald 74f5bbdc11 github: re-work github pages deploy ...

follow-up to 90836a0fac

until a proper 'github-pages' environment is configured,
go back to the older working method.

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

2026-02-16 03:22:54 +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: add linting for JS and MD

2026-02-16 01:42:55 +01: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-16 03:22:54 +01:00