2 commits

Author	SHA1	Message	Date
Charlotte Van Petegem	83484c264d	Set git fetch depth a lot higher in CI so that previously sent revision can always be found	2023-11-20 13:20:03 +01:00
Charlotte Van Petegem	5f708955dd	Build PDFs in CI	2023-10-25 13:49:36 +02:00