Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | gitlab-ci: Set locale to C.UTF-8. | Gleb Popov | 2020-05-21 | 1 | -1/+1 |
| | |||||
* | compare-flags: Fix output | Ben Gamari | 2020-02-14 | 1 | -6/+9 |
| | |||||
* | compare-flags: Don't rely on encoding flag of subprocess.check_output | Ben Gamari | 2020-02-14 | 1 | -3/+2 |
| | | | | Apparently it isn't supported by some slightly older Python versions. | ||||
* | users-guide: Fix "invalid file" failure | Ben Gamari | 2020-02-14 | 1 | -1/+1 |
| | | | | I have no idea how this worked previously. Different Python version? | ||||
* | docs/compare-flags: Don't use python f-strings | Ben Gamari | 2020-02-14 | 1 | -4/+4 |
| | |||||
* | gitlab-ci: Check coverage of GHC flags in users guide | Ben Gamari | 2019-10-08 | 1 | -0/+91 |
This ensures that all GHC flags are documented during the documentation build. Fixes #17315. |