Back to pull request #917

Fixes 905, fix: Use full path of Result type + unit test + Option unti test #67

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
machete	11s
kani	1m 8s
rustfmt	11s
no-std	39s
test (stable, ubuntu-latest)	7m 45s
test (stable, macos-latest)	10m 46s
test (stable, windows-latest)	7m 50s
test (1.64, ubuntu-latest)	11m 38s
test (1.64, macos-latest)	12m 25s
test (1.64, windows-latest)	13m 56s
	1h 6m 29s