Andrew Wells
Results
3
issues of
Andrew Wells
Changes to support lake projects that aren't at the root of a github repo. Applicable to projects like https://github.com/cedar-policy/cedar-spec/tree/main/cedar-lean This is WIP and not ready to merge (e.g., we'd need...
Thanks for open sourcing this tool, it's great! I'd like to use it with projects such as https://github.com/cedar-policy/cedar-spec/tree/main/cedar-lean, which has a lake project in a subfolder instead of at the...
Bump toolchain to 4.12