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