Fix doc push error (#83) #158

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker	2m 35s
build-docker-alpine	2m 15s
build-maven (8, ubuntu-latest)	9m 37s
build-maven (8, macos-latest)	7m 16s
build-maven (8, windows-latest)	9m 8s
build-maven (11, ubuntu-latest)	6m 4s
build-maven (11, macos-latest)	8m 24s
build-maven (11, windows-latest)	11m 37s
build-maven (17, ubuntu-latest)	5m 58s
build-maven (17, macos-latest)	8m 0s
build-maven (17, windows-latest)	11m 7s
build-maven (21, ubuntu-latest)	5m 53s
build-maven (21, macos-latest)	7m 37s
build-maven (21, windows-latest)	12m 51s
build-maven (23, ubuntu-latest)	6m 9s
build-maven (23, macos-latest)	8m 28s
build-maven (23, windows-latest)	12m 52s
	2h 15m 51s