Fix stack overflow during unwinding for some default configurations #510

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	3m 12s
Build docs	9m 23s
Check Kani proofs	4m 10s
Check licenses	12s
Check source	3m 5s
Run other tests	23m 52s
Build everything	12m 56s
Deploy docs	0s
	56m 50s