Make aggregate value proper JSON #165

	name: CI

	on: [push, pull_request]

	jobs:
	java:
	name: Java ${{ matrix.java }}
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-java@v3
	with:
	distribution: temurin
	java-version: 17
	- name: Build
	run: ./mvnw -B --no-transfer-progress -DskipTests package

	#javadoc:
	# name: Javadoc
	# runs-on: ubuntu-latest
	# steps:
	# - uses: actions/checkout@v3
	# - uses: actions/setup-java@v3
	# with:
	# distribution: temurin
	# java-version: 17
	# - name: Generate javadoc
	# run: ./mvnw -B --no-transfer-progress -DskipTests package javadoc:aggregate

	docs:
	name: Documentation
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: 3.7
	- uses: actions/setup-node@v3
	with:
	node-version: 16
	- name: Set up sphinx
	run: \|
	cd docs
	python -m pip install --upgrade pip
	pip install -r requirements.txt
	- name: Generate screenshots
	run: \|
	cd docs/capture
	npm ci
	npm start&
	npx wait-on http://127.0.0.1:8080
	npm run capture
	env:
	CI: true
	- name: Generate docs
	run: \|
	cd docs
	make html

Provide feedback