 Jakob Ackermann
|
ec1bd69605
[clsi-cache] remove non sharded instances (#25645)
|
1 год назад |
|
Jakob Ackermann
|
6881ba956a
[clsi-cache] only use sharding from updated project editor tabs (#25326)
|
1 год назад |
|
Jakob Ackermann
|
5ce1685b5b
[clsi-cache] shard each zone into three instances (#25301)
|
1 год назад |
|
Jakob Ackermann
|
39110d9da9
[clsi-cache] check compiler settings before using compile from cache (#24845)
|
1 год назад |
|
Jakob Ackermann
|
d99ba08d01
[clsi] run SyncTeX in specific output dir rather than compile dir (#24690)
|
1 год назад |
|
Jakob Ackermann
|
b538d56591
[clsi-cache] backend (#24388)
|
1 год назад |
