summaryrefslogtreecommitdiff
path: root/etc/repos.in.json
AgeCommit message (Collapse)Author
12 daysUpdate remote-execution proto fileKlaus Aehlig
... and drop the patch for adding split/splice, as this feature is now standardized in the upstream API specification.
2025-06-18Add auto-formatting of json fileKlaus Aehlig
Given the just added json-file formatter, we can generate a diff formatting properly all json files, i.e., all target, rules, and expression files, by applying that formatter to every target file and combining the patches. A target description doing precisely this can easily be obtained as computed root. In this way, we also make good use of caching. To avoid doing recomputing the target description unnecessarily, we factor through the tree structure of the repository tree; the latter, we obtain from the to-git view of the top-level directory, whereas for computing the diff we use the actual (not necessarily committed) files.
2025-06-13Import clang-18 from toolchainKlaus Aehlig
... and make it available to a new "lint" repository. In this way, there is no dependency of the main or test repository on the newly importet toolchain, while the "lint" repository has access to a well-defined version of clang-tidy.