Oliver Drotbohm 15ab3dcb0c #398 - Allow manual triggering documentation publication. 2 years ago
..
build.yaml ad4b85e41c #364 - Switch to JDK 17 for CI. 3 years ago
deploy.yaml ad4b85e41c #364 - Switch to JDK 17 for CI. 3 years ago
docs.yaml 15ab3dcb0c #398 - Allow manual triggering documentation publication. 2 years ago