George Sapkin a0531c7822 formal: post formality check comments to PRs ...

Enable posting formality check comments and warn if 'Allow edits and
access to secrets by maintainers' is not checked.

Signed-off-by: George Sapkin <george@sapk.in>

2025-12-15 21:40:40 +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: 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

formal: post formality check comments to PRs

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

jsdoc.yml

github: update workflow actions

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