diff options
| author | Leitwolf11 | 2026-10-23 13:04:21 +0300 |
|---|---|---|
| committer | Leitwolf11 | 2026-10-23 13:04:21 +0300 |
| commit | 48c79fffa74e00f9cfbf0a731bc4f53190206c61 (patch) | |
| tree | 476288636594bd73e211a08a90129dd605c0e98d /.github/codeql/codeql-config.yml | |
| parent | cd9ceec698921c558e870341b20f789bf5f4bc36 (diff) | |
| download | website-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