Build

Added the option to select which files to export. #639

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Docker Images	9m 49s
Build Docs	44s
Build (Java 19 - ubuntu-22.04)	3m 49s
Build (Java 19 - windows-2022)	8m 10s
	22m 32s