Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix-submodules: Rip out typing | Ben Gamari | 2019-01-07 | 1 | -3/+2 |
* | gitlab-ci: Clone haddock from its upstream repository | Ben Gamari | 2019-01-07 | 1 | -1/+47 |
* | Revert "gitlab: Drop submodules hack" | Ben Gamari | 2018-12-21 | 1 | -0/+8 |
* | gitlab: Drop submodules hack | Ben Gamari | 2018-12-17 | 1 | -8/+0 |
* | Add GitLab CI | Ben Gamari | 2018-12-01 | 1 | -0/+8 |