- 02 Mar, 2019 40 commits
-
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
So it catches things like FileNotFoundError Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
change completely how the deployment is done, just build the website and serve it in place from the git repository Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
Mattia Rizzolo authored
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-
- 09 Feb, 2019 40 commits
-
-
Pietro Albini authored
-
- 01 May, 2018 40 commits
-
-
Pietro Albini authored
-
Pietro Albini authored
-
- 29 Apr, 2018 40 commits
-
-
Pietro Albini authored
-
Pietro Albini authored
-
- 23 Apr, 2018 40 commits
-
-
Pietro Albini authored
-
- 26 Dec, 2016 40 commits
-
-
Pietro Albini authored
-
Pietro Albini authored
-
Pietro Albini authored
-
- 13 Dec, 2016 40 commits
-
-
Pietro Albini authored
-
- 09 Dec, 2016 40 commits
-
-
Pietro Albini authored
Fixes: #2
-
- 08 Dec, 2016 40 commits
-
-
Pietro Albini authored
-
- 02 Dec, 2016 40 commits
-
-
Pietro Albini authored
-
Pietro Albini authored
This was caused by a race condition between the instance shutting down and managetests deleting its files.
-
- 29 Nov, 2016 40 commits
-
-
Pietro Albini authored
-
Pietro Albini authored
This commit removes the shared git repository in the root directory: instead, a 1-depth clone of the branch is done at the start of each build, so the source code is guaranteed to be fresh. This doesn't affect build times so much, because only the latest commit is cloned, not the whole history.
-
Pietro Albini authored
-
- 10 Nov, 2016 40 commits
-
-
Pietro Albini authored
- Fixed a few errors of the previous commit - Restyled the mobile view - Moved the icons to dedicated svg files - Added automatic reloading of the index when deploying
-
- 09 Nov, 2016 40 commits
-
-
Lumetti Luca authored
-
- 06 Nov, 2016 40 commits
-
-
Pietro Albini authored
-
Pietro Albini authored
The separated jobs processor should ensure no more crashes stopping managetests, and the new frontends provides more information.
-
Pietro Albini authored
-
Pietro Albini authored
-
- 04 Nov, 2016 40 commits
-
-
Pietro Albini authored
This allows different branches to use different commands to build, install and run. Branches directory version changed to "2".
-