diff --git a/tools/check-release.py b/tools/check-release.py old mode 100644 new mode 100755 index 0882c987..e2ef27f7 --- a/tools/check-release.py +++ b/tools/check-release.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 +# # Check if a sha in a dependency is included in a release. # Releases are inferred from tags in the main repo and dependecies # are read from the Cargo.lock file.