Back to pull request #1189

Add the ability to remap identifiers during HTML generation #2362

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest, 4.02.x)	5m 41s
build (ubuntu-latest, 4.04.x)	5m 45s
build (ubuntu-latest, 4.06.x)	6m 3s
build (ubuntu-latest, 4.08.x)	3m 55s
build (ubuntu-latest, 4.10.x)	3m 46s
build (ubuntu-latest, 4.12.x)	3m 56s
build (ubuntu-latest, 4.14.x)	3m 56s
build (ubuntu-latest, 5.0.x)	3m 58s
build (ubuntu-latest, 5.1.x)	5m 17s
	42m 17s