| commit | 895ac2000ff282f4e927b944fda2a29b133c2f0e | [log] [tgz] |
|---|---|---|
| author | Romain Manni-Bucau <rmannibucau@gmail.com> | Tue Nov 05 09:10:36 2019 +0100 |
| committer | Romain Manni-Bucau <rmannibucau@gmail.com> | Tue Nov 05 09:10:36 2019 +0100 |
| tree | bebc98c2ca1529811c26551ff8f972885d46e77d | |
| parent | 87ac31022b81a4df0727d70a0208cb8d41cd961f [diff] |
trying to add cache on github actions and setting up a serverId for documentation deployment (defaulting on default apache deploymentId to avoid duplication of servers)