robojerk/codeql-action

Merge pull request #2051 from github/angelapwen/patch-release-script

Browse source 
Fix type error in `Update release branch` workflow
This commit is contained in:
Aditya Sharad 2023-12-21 14:04:47 -08:00 • committed by GitHub
commit 40cb08c121
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/actions/release-branches/release-branches.py vendored
View file

@ -13,7 +13,7 @@ config = configparser.ConfigParser()
with open(os.path.join(grandparent_dir, 'releases.ini')) as stream: with open(os.path.join(grandparent_dir, 'releases.ini')) as stream:
config.read_string('[default]\n' + stream.read()) config.read_string('[default]\n' + stream.read())
OLDEST_SUPPORTED_MAJOR_VERSION = config['default']['OLDEST_SUPPORTED_MAJOR_VERSION'] OLDEST_SUPPORTED_MAJOR_VERSION = int(config['default']['OLDEST_SUPPORTED_MAJOR_VERSION'])
def main(): def main():