Mirko Bunse b1414b2a04 Revert "TO REVERT: build gh-pages even on pushes to devel" ... This reverts commit 6ea15c30b8.		2024-06-24 15:05:49 +02:00
..
workflows	Revert "TO REVERT: build gh-pages even on pushes to devel"	2024-06-24 15:05:49 +02:00