CI

Record verified rewrite status and remaining gates #1010

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	39s
build (aarch64-linux)	37s
build (x86_64-macos)	33s
build (x86_64-linux)	40s
build (aarch64-macos)	28s
build (x86_64-windows)	39s
	3m 36s