jj b9a44f81a0 ci/web: run type check before building		2024-10-30 11:13:36 +00:00
..
ISSUE_TEMPLATE	github: update links from current to main	2024-09-09 16:31:37 +00:00
workflows	ci: run codeql on all branches	2024-10-27 19:18:15 +01:00
test.sh	ci/web: run type check before building	2024-10-30 11:13:36 +00:00