Skip to content

Conversation

caspermeijn
Copy link
Contributor

Most generated files are untouched when the contents doesn't change. Use the same mechanism for include file as well.

@caspermeijn caspermeijn force-pushed the keep_unchanged_files branch 2 times, most recently from 356a84f to 823ab8b Compare May 10, 2024 11:02
Most generated files are untouched when the contents doesn't change. Use the same mechanism for include file as well.
@caspermeijn caspermeijn force-pushed the keep_unchanged_files branch from 823ab8b to 1cd095a Compare May 24, 2024 13:16
@caspermeijn caspermeijn added this pull request to the merge queue Jun 10, 2024
Merged via the queue into tokio-rs:master with commit ba77654 Jun 10, 2024
@caspermeijn caspermeijn deleted the keep_unchanged_files branch June 10, 2024 11:25
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.

2 participants