add werk language and highlights (#13136)

This commit is contained in:
Freddie Gilbraith 2025-03-20 13:04:52 +00:00 committed by GitHub
parent ccf9564123
commit d6cacb2731
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 73 additions and 0 deletions

View file

@ -4244,3 +4244,13 @@ formatter = {command = "tlafmt", args = ["--stdin"]}
name = "tlaplus"
source = { git = "https://github.com/tlaplus-community/tree-sitter-tlaplus", rev = "4ba91b07b97741a67f61221d0d50e6d962e4987e"}
[[language]]
name = "werk"
scope = "source.werk"
file-types = [ "werk", { glob = "Werkfile" } ]
comment-token = "#"
indent = { tab-width = 2, unit = " " }
[[grammar]]
name = "werk"
source = { git = "https://github.com/little-bonsai/tree-sitter-werk", rev = "92b0f7fe98465c4c435794a58e961306193d1c1e" }