CI

Bump `lock_api` dependency #387

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	2m 46s
Build docs	9m 4s
Check licenses	14s
Check dependencies	2m 56s
Check source	1m 45s
Run other tests	40m 26s
Build everything	14m 25s
Deploy docs	0s
	1h 11m 36s