CI

build: Use git submodule to download protobuf sources #230

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
machete	14s
minimal-versions	29s
kani	52s
rustfmt	19s
no-std	32s
test (stable, ubuntu-latest)	4m 34s
test (stable, macos-latest)	5m 38s
test (stable, windows-latest)	5m 32s
test (1.70, ubuntu-latest)	5m 20s
test (1.70, macos-latest)	7m 11s
test (1.70, windows-latest)	5m 26s
	36m 7s