Skip to content

feature: allow diffing directories#13880

Open
rgrinberg wants to merge 1 commit intoocaml:mainfrom
rgrinberg:push-lomromqkmntr
Open

feature: allow diffing directories#13880
rgrinberg wants to merge 1 commit intoocaml:mainfrom
rgrinberg:push-lomromqkmntr

Conversation

@rgrinberg
Copy link
Member

Allow the diff action to diff directories. Some situations where such an action is useful:

  1. We'd like to introduce a generic "test" rule that will read test cases from a directory and produce test output for every individual test case.

  2. We have a code generator that produces for multiple source files.

@rgrinberg rgrinberg force-pushed the push-lomromqkmntr branch 3 times, most recently from b0d2771 to 851d346 Compare March 22, 2026 16:24
@rgrinberg rgrinberg linked an issue Mar 22, 2026 that may be closed by this pull request
@rgrinberg rgrinberg force-pushed the push-lomromqkmntr branch 4 times, most recently from f0791b2 to ce1938a Compare March 25, 2026 22:47
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

diffing directories

1 participant