CI

Merge branch 'ershi/add-anymal-publication' into 'main' #1036

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-warp-ubuntu-x86_64	5m 57s
build-warp-ubuntu-aarch64	6m 5s
build-warp-windows	9m 14s
build-warp-macos	1m 7s
test-warp-macos	10m 20s
test-warp-ubuntu-x86_64	23m 18s
check-exports-header	0s
pull-request-docs	0s
check-build-docs-output	0s
test-warp-ubuntu-aarch64	7m 51s
test-warp-windows	16m 6s
	1h 19m 58s