Yoann Padioleau
Yoann Padioleau
@dcreager @maxbrunsfeld something changed recently regarding CI? There's no CI check jobs running anymore ...
@dcreager @maxbrunsfeld any idea why CI does not kick in anymore for those PRs? This seriously limit our ability to merge external PRs.
I need this fix in semgrep, so I'll merge, but someone need to figure out why the CI checks do not run here anymore.
@jdrouhard any idea what is this appveyor thing? Why this tree-sitter repo uses a different kind of CI?
Same problem here: https://github.com/returntocorp/semgrep/issues/6002
I don't know if this used to work. @danzat can you bisect to a point where it stopped working? Or it never worked?
PR sounds great to me. I think if there's some formatting issues, the commit hooks would complain.
Seems like the Command library from Jane street support this auto-completion feature: https://dev.realworldocaml.org/command-line-parsing.html#scrollNav-6 maybe you can just copy their code to implement the same for Cmdliner?
Cool! Then we can add support for reason in semgrep thanks to this tree-sitter-reason.
the tree-sitter grammar for nix looks pretty small. Would you mind starting to contribute to help in supporting nix? We have some doc here: https://semgrep.dev/docs/contributing/adding-a-language/