Oliver Drotbohm 073c954070 GH-77 - Enable CI profile for release build. ...

To make sure we create Javadoc JARs.

2022-11-24 23:06:11 +01:00

..

build.yaml

GH-18 - Polishing.

2022-07-28 08:46:11 +02:00

docs.yaml

GH-6 - Allow documentation publication to be triggered manually.

2022-07-28 12:06:30 +02:00

milestone.yaml

GH-18 - Add GitHub actions workflows for releases.

2022-07-27 20:49:37 +02:00

release.yaml

GH-77 - Enable CI profile for release build.

2022-11-24 23:06:11 +01:00