Read-only mirrors. Development, issues and pull requests are on GitHub.

summaryrefslogtreecommitdiffhomepage
path: root/.github/codeql/codeql-config.yml
diff options
context:
space:
mode:
authorLeitwolf112026-10-23 13:04:21 +0300
committerLeitwolf112026-10-23 13:04:21 +0300
commit48c79fffa74e00f9cfbf0a731bc4f53190206c61 (patch)
tree476288636594bd73e211a08a90129dd605c0e98d /.github/codeql/codeql-config.yml
parentcd9ceec698921c558e870341b20f789bf5f4bc36 (diff)
downloadwebsite-48c79fffa74e00f9cfbf0a731bc4f53190206c61.tar.gz
Add the talafmt.tala.run and talalint.tala.run sites
The build that serves tala.run, talac.tala.run and tazel.tala.run now also serves the formatter and the linter, chosen by host name like the others. Each site has a landing page and two documentation pages in en-US, de-DE, ru-RU and he-IL: - talafmt: the command line (inputs, --check, --emit, exit status 2 for an unreadable line) and what it changes (indentation, line endings, trailing whitespace, the final newline; protected text; encodings from talafmt.kts). - talalint: the command line (--fix) and what it checks: the compiler's diagnostics as compiler.<code>, and format.trailingWhitespace, format.mixedLineEndings and format.missingFinalNewline. --fix rewrites a file with talafmt's default layout, which also re-indents blocks. The facts follow the READMEs of Progmasoft/talafmt and Progmasoft/talalint 0.1.0 and the talalint source. site.ts lists the sites once, with their names, so the header, the landing page and the documentation shell no longer keep their own copies. Each host has its robots.txt and sitemap.xml, nginx gains the two server blocks, and the tests check the new hosts like the others.
Diffstat (limited to '.github/codeql/codeql-config.yml')
0 files changed, 0 insertions, 0 deletions