Remove unused userfacenormal field from mjSpec. #2303

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-22.04-gcc-12	13m 49s
ubuntu-22.04-gcc-11	11m 52s
ubuntu-22.04-gcc-10	12m 5s
ubuntu-22.04-gcc-9	10m 58s
ubuntu-22.04-clang-14	13m 34s
ubuntu-22.04-clang-13	13m 16s
ubuntu-20.04-clang-12	13m 2s
ubuntu-20.04-clang-11	13m 17s
ubuntu-20.04-clang-10	13m 53s
macos-12	10m 48s
windows-2022	12m 42s
	2h 19m 16s