CI

Merge branch 'pr-github-716' into 'main' #1024

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-warp-macos	1m 13s
build-warp-ubuntu-aarch64	5m 39s
build-warp-windows	8m 56s
build-warp-ubuntu-x86_64	5m 48s
test-warp-macos	8m 28s
test-warp-ubuntu-aarch64	7m 46s
test-warp-ubuntu-x86_64	22m 26s
pull-request-docs	0s
check-exports-header	0s
check-build-docs-output	0s
test-warp-windows	15m 35s
	1h 15m 51s