14 commits

Author	SHA1	Message	Date
Griatch	f044386d0f	No luck with rebuilt script either	2022-01-26 00:44:39 +01:00
Griatch	710ccf4574	Refactor git action build script	2022-01-26 00:42:11 +01:00
Griatch	4dbd5df09b	Variant on checkout	2022-01-26 00:33:03 +01:00
Griatch	6ee3a28f59	Branch test with a checkout	2022-01-26 00:29:19 +01:00
Griatch	65a92b72ab	Fix in build	2022-01-26 00:22:34 +01:00
Griatch	7feae7c9ac	Different way to fetch	2022-01-26 00:18:29 +01:00
Griatch	835e4d6bb5	Another test to get the 0.9.5 branch	2022-01-26 00:07:19 +01:00
Griatch	544fd3ede2	Building multiversion docs require the full git history	2022-01-25 23:48:15 +01:00
Griatch	89baae29ed	Testing with a manual doc deploy	2022-01-25 23:34:28 +01:00
Griatch	2eb21e0c6d	Prep for mv-local build	2022-01-21 00:56:36 +01:00
Griatch	b332a2a205	More work on doc deployment	2022-01-21 00:47:11 +01:00
Griatch	a875ded18b	More testing with doc build	2022-01-21 00:35:50 +01:00
Griatch	c69ffe9f41	Correct doc-building make	2021-03-20 10:47:57 +01:00
Griatch	e97dd38637	Port github action suite to develop branch	2020-09-20 19:07:18 +02:00