Back to pull request #165

Add proof match operation #473

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
default	13s
platforms (ubuntu-20.04)	26s
features (rand)	15s
platforms (ubuntu-22.04)	21s
features (serde)	26s
toolchains (nightly)	31s
platforms (macos-12)	37s
features (async)	20s
toolchains (beta)	29s
platforms (macos-13)	59s
features (stl)	16s
toolchains (stable)	21s
platforms (windows-2019)	1m 37s
features (derive)	14s
toolchains (1.69.0)	1m 49s
platforms (windows-2022)	1m 24s
features (all)	20s
	10m 38s