.gitlab-ci.yml · 897a59a5c0a08985ddccf00a4961cc2d080324e8 · gershomb / GHC

14027 commits behind the upstream repository.

5 years ago

Ben Gamari authored 5 years ago and

Marge Bot committed 5 years ago

Previously we used the deb9-debug job which used the `validate` build
flavour which disabled `BUILD_SPHINX_PDF`. Fix this.

Fixes #16890.

973c61b5

Ben Gamari authored 5 years ago and

Marge Bot committed 5 years ago

Previously we used the deb9-debug job which used the `validate` build
flavour which disabled `BUILD_SPHINX_PDF`. Fix this.

Fixes #16890.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

.gitlab-ci.yml 27.77 KiB