Bernhard B 5cc379fde0 only (re-)build github pages documentation when a new release is published ...

see #872

2026-08-09 21:39:35 +02:00

..

check-docs.yml

use java 25 in check-docs.yml

2026-06-01 20:47:46 +02:00

ci.yml

Merge pull request #848 from arnehuang/add-permissions-block

2026-05-10 23:03:19 +02:00

deploy-pages.yml

only (re-)build github pages documentation when a new release is published

2026-08-09 21:39:35 +02:00

release-dev-version.yml

Enable read of repo

2026-05-15 19:50:35 +02:00

release-productive-version.yml

Enable read of repo

2026-05-15 19:50:35 +02:00