CI

Merge branch 'avoid_division_by_zero' into 'main' #1032

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-warp-ubuntu-x86_64	5m 43s
build-warp-ubuntu-aarch64	6m 31s
build-warp-macos	1m 5s
build-warp-windows	9m 21s
test-warp-macos	16m 33s
test-warp-ubuntu-x86_64	23m 6s
pull-request-docs	0s
check-exports-header	0s
check-build-docs-output	0s
test-warp-ubuntu-aarch64	7m 50s
test-warp-windows	16m 33s
	1h 26m 42s