Opened 3 years ago

Closed 3 years ago

Last modified 3 years ago

#5101 closed defect (fixed)

manual-dev docs not building

Reported by: robe Owned by: robe
Priority: medium Milestone: PostGIS 3.3.0
Component: QA/buildbots Version: 3.2.x
Keywords: Cc:

Description

Martin noticed that the dev docs stopped building recently.

​https://debbie.postgis.net/view/PostGIS/job/PostGIS_Make_Dist/3325/label=debbie/console

On closer check, it appears my removal of PostgreSQL 9.6 is the culprit since debbie's dev docs were set to built against PostgreSQL 9.6.

This brings up another issue that we don't have the make_dist job in badges.

Debbie's make dist runs in parallel with the regular regress jobs, and also builds the docs.

Change History (2)

comment:1 by Regina Obe <lr@…>, 3 years ago

Resolution: → fixed
Status: new → closed

In cf22160/git:

CHANGES:
1) Make dist build docs against PostgreSQL 11 (was PG 9.6 which is no
longer supported. Closes #5101
2) Add Doc / Make Dist badge to signal if doc building is broken.

comment:2 by Regina Obe <lr@…>, 3 years ago

In 5365111/git:

Missed some spots. Also up GEOS / GDAL versions. References #5101

Note: See TracTickets for help on using tickets.