6 Commits

Author	SHA1	Message	Date
Randolf Jung	7d1557a3cc	chore: fix post-publish checkout ref	2022-05-31 15:39:54 +02:00
Randolf Jung	bc1326f16e	chore: build main docs after publishing	2022-05-31 15:38:34 +02:00
Randolf Jung	4ba9950cc5	chore: rename actions	2022-05-31 14:56:44 +02:00
jrandolf	d111d19f78	fix: process documentation during publishing (#8433)	2022-05-30 21:50:34 +02:00
jrandolf	d422e12af8	chore: checkout main during post-publish (#8432)	2022-05-30 15:15:54 +00:00
jrandolf	be26137041	chore: use release-please app (#8412)	2022-05-30 11:47:15 +02:00