CI

Merge branch 'production' of github.com:rdiankov/openrave into mainta… #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.9, ubuntu-20.04, x64)	14m 36s
	14m 36s