docs/users_guide/compare-flags.py · 8a10f9fbe40ca7692bd58373a4f9d2db19bfa81d · Alexander Kaznacheev / GHC · GitLab

Oct 06, 2019
9402608e
gitlab-ci: Check coverage of GHC flags in users guide · 9402608e
Ben Gamari authored Oct 06, 2019 and Marge Bot committed Oct 08, 2019
```
This ensures that all GHC flags are documented during the documentation
build.

Fixes #17315.
```
9402608e
gitlab-ci: Check coverage of GHC flags in users guide
Ben Gamari authored Oct 06, 2019 and Marge Bot committed Oct 08, 2019
```
This ensures that all GHC flags are documented during the documentation
build.

Fixes #17315.
```