14 commits

Author	SHA1	Message	Date
Griatch	e4a5091d38	No luck with rebuilt script either	2022-01-26 00:44:39 +01:00
Griatch	d8346cf584	Refactor git action build script	2022-01-26 00:42:11 +01:00
Griatch	55553f75d5	Variant on checkout	2022-01-26 00:33:03 +01:00
Griatch	a85e23d016	Branch test with a checkout	2022-01-26 00:29:19 +01:00
Griatch	003f914d92	Fix in build	2022-01-26 00:22:34 +01:00
Griatch	8756de79cc	Different way to fetch	2022-01-26 00:18:29 +01:00
Griatch	7e3bb4dfc4	Another test to get the 0.9.5 branch	2022-01-26 00:07:19 +01:00
Griatch	4137d7b346	Building multiversion docs require the full git history	2022-01-25 23:48:15 +01:00
Griatch	d7d94c462f	Testing with a manual doc deploy	2022-01-25 23:34:28 +01:00
Griatch	7ece2fec17	Prep for mv-local build	2022-01-21 00:56:36 +01:00
Griatch	c6cba1cab6	More work on doc deployment	2022-01-21 00:47:11 +01:00
Griatch	8f6308db48	More testing with doc build	2022-01-21 00:35:50 +01:00
Griatch	f3e4bd7550	Correct doc-building make	2021-03-20 10:47:57 +01:00
Griatch	bb53ab931b	Port github action suite to develop branch	2020-09-20 19:07:18 +02:00