Use synthetic mtime so the rustdoc build cache gets used.#399

Draft

obi1kenobi wants to merge 2 commits intomainfrom synthetic_mtimes

+15-10

Commits on Feb 23, 2023

Use synthetic mtime so the rustdoc build cache gets used.
obi1kenobi
committed

Commits on Feb 24, 2023

Merge branch 'main' into synthetic_mtimes
obi1kenobi
authored