7 Commits

Author	SHA1	Message	Date
Dave Page	e797eb17eb	Cleanup and improve robustness of Github actions.	2023-03-28 14:24:04 +01:00
Dave Page	2353702f0b	Make the doc build action a little more efficient.	2023-03-23 15:07:40 +00:00
Aditya Toshniwal	ec32099d2f	Show appropriate error message when master password is not set instead of 'Crypt key missing'. #5735	2023-03-13 11:51:35 +05:30
Akshay Joshi	10c6a4f8dc	1) Unpin Sphinx version as the issue has been fixed in v 6.1.3 ... 2) Update release note	2023-01-17 17:30:22 +05:30
Akshay Joshi	3515e74204	Pin Sphinx version to 6.1.1	2023-01-09 11:53:05 +05:30
Aditya Toshniwal	cbea043ca1	Allow YouTube video demo links to be added to appropriate pgAdmin documentation. #5563	2022-12-19 10:45:45 +05:30
Dave Page	2b5514a944	Add an action to check the doc build (#5363)	2022-09-23 12:44:02 +01:00