Jakob Ackermann and Copybot
02391c6c51
[clsi] prepare for clsi-cache survey ( #29274 )
...
* [clsi] add stats and timings to compile response from clsi-cache
* [clsi] set downloadedFromCache when previously downloaded for synctex
Assumption: every compile will emit an output.log. When the output.log
is missing, but the output.synctex.gz exists, it must have been
downloaded from the cache.
GitOrigin-RevId: 41ea34880931e3c43dda3bc9eb26c0d02054894d
2025-10-23 08:05:43 +00:00
..
2025-10-23 08:05:43 +00:00
2022-05-17 08:05:26 +00:00
2025-10-23 08:05:43 +00:00
2025-10-23 08:05:43 +00:00
2024-11-11 09:04:51 +00:00
2025-10-13 08:07:02 +00:00
2021-08-25 08:03:38 +00:00
2024-11-11 09:04:51 +00:00
2024-11-11 09:04:51 +00:00
2022-03-02 09:02:50 +00:00
2025-10-16 08:06:47 +00:00
2024-11-11 09:04:51 +00:00
2025-04-10 08:05:17 +00:00
2025-10-20 08:05:42 +00:00
2025-10-09 08:06:12 +00:00
2025-07-11 08:07:11 +00:00
2024-08-08 08:04:17 +00:00
2025-10-09 08:06:12 +00:00
2025-10-20 08:05:42 +00:00
2025-10-13 08:07:02 +00:00
2024-09-24 08:05:15 +00:00
2025-04-10 08:05:17 +00:00
2024-11-11 09:04:51 +00:00
2025-10-13 08:07:02 +00:00
2025-05-21 08:05:34 +00:00
2025-05-16 08:05:02 +00:00
2024-11-11 09:04:51 +00:00
2025-10-13 08:07:02 +00:00
2025-10-13 08:05:23 +00:00
2024-11-11 09:04:51 +00:00
2025-10-13 08:05:18 +00:00
2024-11-11 09:04:51 +00:00
2024-11-11 09:04:51 +00:00
2025-10-13 08:07:02 +00:00
2025-10-13 08:07:02 +00:00
2024-11-11 09:04:51 +00:00