continuous integration

chore(build): Replace lazy_static with once_cell #897

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
machete	7s
kani	1m 23s
rustfmt	5s
test (stable, ubuntu-latest)	7m 28s
test (stable, macos-latest)	9m 39s
test (stable, windows-latest)	9m 37s
test (1.63, ubuntu-latest)	15m 14s
test (1.63, macos-latest)	15m 35s
test (1.63, windows-latest)	13m 21s
no-std	49s
	1h 13m 18s