Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-29 | doc builder | Florian Dold | |
2019-06-10 | fix path | Marcello Stanisci | |
2019-06-10 | First changes of #5761. | Marcello Stanisci | |
2019-06-10 | Fix docs builder. | Marcello Stanisci | |
Do not fetch new code before the "invalidate" script has run. The code will then be fetched by the respective "update_<component>" script. | |||
2019-05-21 | docs builder doesn't touch sites | Marcello Stanisci | |
2019-05-20 | trigger docs building. | Marcello Stanisci | |
2019-04-15 | Avoid using 'tutorial' reponame. | Marcello Stanisci | |
2018-03-11 | resume tutorials build. | Marcello Stanisci | |
2018-02-06 | build docs the same way as blue/green | Florian Dold | |