Skip to content

Use separate caches for sphinx and doxygen jobs

Steffen Müthing requested to merge use-dedicated-caches into master

This should fix the problem of git worktree failing when reusing the cache from a different job.

Fixes #69 (closed), #70 (closed).

Merge request reports