diff options
| author | Pascal Kuthe | 2023-04-14 14:59:52 +0000 |
|---|---|---|
| committer | GitHub | 2023-04-14 14:59:52 +0000 |
| commit | 896404c7ead29c4c19564581ccb53b913440a583 (patch) | |
| tree | b2035b5999375cc4596f685e31ec27327f9356a8 /runtime/tutor | |
| parent | 78e8066c3e2e53711473ec5f11b0808ca7a94994 (diff) | |
emit cargo metadata duiring build scripts to avoid outdated buildscript outputs (#6743)
* rebuild on revision change
* rerun grammar build if grammars change
Diffstat (limited to 'runtime/tutor')
0 files changed, 0 insertions, 0 deletions