Mirko Bunse 3895cba610 Revert "TO REVERT: build gh-pages even on pushes to devel" ... This reverts commit de3f8fd300.		2024-09-16 13:56:00 +02:00
..
workflows	Revert "TO REVERT: build gh-pages even on pushes to devel"	2024-09-16 13:56:00 +02:00