Back to pull request #2051

Update dependency pymdown-extensions to v10.13 #2889

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docs	2m 12s
jvm (macos-latest)	4m 50s
jvm (ubuntu-latest)	8m 16s
jvm (windows-latest)	8m 12s
	23m 30s