Java CI with Maven

🐛 Improve handling of superscript in footnotes; resolves #232 #509

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
main-root	1s
metadata / project-metadata	10s
build / native-build	1m 15s
native-build / native-build	5m 52s
snap-release / snapshot	20s
	7m 38s