Use GITHUB_SHA instead of hash of Cargo.lock for build caches (#672)

Use GITHUB_SHA instead of hash of Cargo.lock for build caches (#672) #13