Age | Commit message (Expand) | Author |
---|---|---|
2020-02-23 | remove dead logic | Christian Grothoff |
2019-12-15 | now that buildmaster pulls deployment, do not do so in shell scripts anymore | Christian Grothoff |
2019-11-02 | path | Florian Dold |
2019-11-02 | fix build-docs | Florian Dold |
2019-08-29 | doc builder | Florian Dold |
2019-08-29 | fix doc builder | Florian Dold |
2019-06-10 | First changes of #5761. | Marcello Stanisci |
2019-06-10 | Fix docs builder. | Marcello Stanisci |
2018-02-06 | build docs the same way as blue/green | Florian Dold |