| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix-submodules: Rip out typing | Ben Gamari | 2019-01-07 | 1 | -3/+2 |
| | | | | | Debian Jessie only runs Python 3.4, whereas typing was introduced in Python 3.5. | ||||
| * | gitlab-ci: Clone haddock from its upstream repository | Ben Gamari | 2019-01-07 | 1 | -1/+47 |
| | | | | | This ensures that changes requiring haddock changes can be built under CI. | ||||
| * | Revert "gitlab: Drop submodules hack" | Ben Gamari | 2018-12-21 | 1 | -0/+8 |
| | | | | | | | | It turns out that the submodules hack is useful to ensure that CI works in forks. This reverts commit 90ceafa8b9ad60e3c7b72cdd2dacdbeb96bdcddc. | ||||
| * | gitlab: Drop submodules hack | Ben Gamari | 2018-12-17 | 1 | -8/+0 |
| | | |||||
| * | Add GitLab CI | Ben Gamari | 2018-12-01 | 1 | -0/+8 |
