Paul Donald 4617b9fd2e github: update workflow actions ...

checkout to v5
setup-node to v5
peaceiris/actions-gh-pages to v4

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

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

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

eslint.yml

github: update workflow actions

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

formal.yml

github: update workflow actions

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

jsdoc.yml

github: update workflow actions

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