Add dummy VSCode `rust-analyzer` config #508

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 18s
Check licenses	14s
Check Kani proofs	4m 10s
Build docs	1m 50s
Check source	2m 53s
Run other tests	4m 50s
Build everything	6m 52s
Deploy docs	0s
	23m 7s