You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now we're watching .git/refs/heads/** to detect hash changes, but of course this is not enough to detect changes to the repo dirty state as they happen.
You could do it with a two-stage process
one build.rs that conditionally updates a file if it changes
and a second build.rs that watches for changes on that file
The text was updated successfully, but these errors were encountered:
Right now we're watching
.git/refs/heads/**
to detect hash changes, but of course this is not enough to detect changes to the repo dirty state as they happen.@jleibs came up with an evil plan for that:
The text was updated successfully, but these errors were encountered: