bors
99f841c083
Auto merge of #11613 - arriven:fix/11083-rerun-if-changed-published-sources-dir, r=epage
...
Improve CI caching by skipping mtime checks for paths in $CARGO_HOME
Skip mtime checks for paths pointing into `$CARGO_HOME` to avoid rebuilds when only caching $CARGO_HOME/registry/{index, cache} and $CARGO_HOME/git/db and some of the dependencies have `rerun-if-changed=directory` in their `build.rs`
I considered skipping mtime checking only on `$CARGO_HOME/registry/src` but it looks like other functionality (like downloading a newer version of dependency) is unaffected by this and this way we also cover the same issue with git based dependencies (except the part where `cargo` is forced to re-fetch submodules if `$CARGO_HOME/git/checkouts` is missing) and it is more in line with the discussion in #9455
Fix #11083
Credit `@weihanglo` for the test (I did add a case of checking that dependency update still triggers a rebuild but they are the original author of the rest of the test)
2023-01-24 13:31:37 +00:00
..
2023-01-23 21:19:48 -06:00
2023-01-14 09:23:39 +00:00
2023-01-14 09:23:39 +00:00
2023-01-14 09:48:46 -08:00
2023-01-05 11:04:52 -06:00
2022-12-28 16:27:50 +01:00
2023-01-04 18:44:51 -08:00
2022-09-26 09:51:16 -06:00
2022-09-26 09:51:16 -06:00
2022-09-26 09:51:16 -06:00
2022-09-26 13:22:43 +01:00
2022-07-14 15:05:33 -05:00
2023-01-24 08:27:33 +00:00
2023-01-04 16:25:52 +00:00
2021-07-09 16:20:46 -07:00
2022-10-13 22:22:52 +01:00
2023-01-10 20:03:11 -06:00
2022-07-15 21:32:23 -05:00
2022-07-14 19:55:44 -05:00
2022-11-17 15:54:24 -06:00
2022-09-26 09:51:16 -06:00
2023-01-10 13:52:29 -06:00
2022-10-31 20:43:20 -06:00
2022-12-15 20:04:50 -08:00
2022-08-02 12:30:42 -07:00
2023-01-10 20:03:11 -06:00
2022-12-28 16:27:50 +01:00
2023-01-10 14:36:37 +01:00
2022-09-26 09:51:16 -06:00
2022-12-22 21:53:45 +00:00
2022-09-26 09:51:16 -06:00
2022-10-28 17:13:25 -07:00
2022-07-30 19:36:58 -07:00
2022-07-30 19:36:58 -07:00
2021-07-22 00:50:30 +08:00
2022-11-16 09:18:33 -08:00
2022-12-22 12:37:11 -08:00
2022-07-30 19:36:58 -07:00
2022-11-07 17:42:05 +00:00
2022-10-28 17:13:25 -07:00
2022-12-28 18:44:05 +01:00
2022-11-26 20:15:36 +08:00
2022-12-28 16:27:50 +01:00
2022-07-30 19:36:58 -07:00
2022-07-15 21:32:23 -05:00
2022-09-26 09:51:16 -06:00
2022-10-28 15:39:02 -07:00
2023-01-16 14:12:32 +00:00
2022-05-10 16:47:28 -05:00
2021-12-12 13:30:31 -07:00
2023-01-14 15:10:16 -08:00
2023-01-10 11:53:45 -06:00
2022-04-19 16:45:13 -05:00
2023-01-22 00:50:42 +00:00
2022-09-02 14:29:28 +00:00
2022-09-26 09:51:16 -06:00
2022-09-26 09:51:16 -06:00
2023-01-14 09:23:39 +00:00
2023-01-04 16:25:52 +00:00
2022-12-28 16:27:50 +01:00
2023-01-14 15:10:16 -08:00
2022-09-26 09:51:16 -06:00
2022-09-26 09:51:16 -06:00
2023-01-10 13:52:29 -06:00
2022-07-15 21:32:23 -05:00
2023-01-16 14:12:32 +00:00
2022-07-15 21:32:23 -05:00
2022-07-17 11:02:01 +01:00
2022-09-26 09:51:16 -06:00
2023-01-14 09:23:39 +00:00
2022-09-26 09:51:16 -06:00
2022-08-02 12:24:00 -07:00
2022-09-26 09:51:16 -06:00
2022-12-13 23:49:07 +00:00
2022-11-16 09:18:33 -08:00
2022-10-28 17:13:25 -07:00
2022-09-26 09:51:16 -06:00
2022-09-26 09:51:16 -06:00
2022-05-08 01:07:28 +08:00
2023-01-04 13:45:25 +00:00
2022-07-30 19:36:58 -07:00
2023-01-14 11:14:40 +00:00
2022-08-02 12:24:00 -07:00
2022-04-19 16:00:15 -05:00
2022-05-10 16:47:28 -05:00
2022-09-26 09:51:16 -06:00
2022-07-30 19:36:58 -07:00
2022-12-19 10:50:55 -07:00
2023-01-05 11:04:52 -06:00
2021-10-12 14:07:19 +02:00
2023-01-20 14:39:28 +00:00
2023-01-05 11:04:52 -06:00
2022-09-26 09:51:16 -06:00
2022-04-19 16:00:15 -05:00
2022-09-26 09:51:16 -06:00
2023-01-14 09:23:39 +00:00
2022-09-26 09:51:16 -06:00
2023-01-14 09:23:39 +00:00
2022-11-29 19:28:03 +11:00
2021-10-12 19:33:23 -07:00
2022-11-01 15:01:44 +00:00
2022-07-15 21:32:23 -05:00
2022-11-16 14:36:19 -06:00
2022-09-26 09:51:16 -06:00
2022-10-28 17:13:25 -07:00
2023-01-22 14:02:23 -08:00
2022-07-30 19:36:58 -07:00
2022-12-28 16:27:50 +01:00
2022-01-30 21:43:52 -08:00
2022-08-10 23:19:35 +08:00
2022-01-28 02:49:42 +03:00
2022-11-20 18:14:17 +08:00
2022-07-15 21:32:23 -05:00
2023-01-16 14:12:32 +00:00
2023-01-18 22:19:56 -06:00
2022-07-15 21:32:23 -05:00
2022-08-02 12:54:16 -07:00
2022-10-28 17:13:25 -07:00
2022-09-26 09:51:16 -06:00
2022-12-13 23:49:07 +00:00