CI

Merge branch 'ershi/add-foci-publication' into 'main' #1028

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-warp-windows	10m 14s
build-warp-ubuntu-aarch64	6m 0s
build-warp-macos	1m 18s
build-warp-ubuntu-x86_64	5m 59s
test-warp-macos	13m 2s
test-warp-ubuntu-aarch64	8m 12s
test-warp-ubuntu-x86_64	23m 13s
pull-request-docs	0s
check-exports-header	0s
check-build-docs-output	0s
test-warp-windows	15m 54s
	1h 23m 52s