• Steffen Müthing's avatar
    [!231] Use separate caches for sphinx and doxygen jobs · 9f97cb82
    Steffen Müthing authored
    Merge branch 'use-dedicated-caches' into 'master'
    
    ref:infrastructure/dune-website This should fix the problem of `git worktree`
    failing when reusing the cache from a different job.
    
    Fixes [#69], [#70].
    
    See merge request [!231]
    
      [#69]: gitlab.dune-project.org/NoneNone/issues/69
      [#70]: gitlab.dune-project.org/NoneNone/issues/70
      [!231]: gitlab.dune-project.org/infrastructure/dune-website/merge_requests/231
    
    
    Closes #70 and #69
    9f97cb82
Name
Last commit
Last update
archetypes Loading commit data...
bin Loading commit data...
content Loading commit data...
data Loading commit data...
doxygen Loading commit data...
layouts Loading commit data...
static Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
APACHE-2.0 Loading commit data...
CC-BY-SA-4.0 Loading commit data...
LICENSE.md Loading commit data...
README.md Loading commit data...
TODO.md Loading commit data...
UNLICENSE Loading commit data...
config.toml Loading commit data...