From 51c871d447a9638ee55626e5f24db4bbc61cf81a Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 18 Jan 2026 08:43:06 +0000 Subject: [PATCH] Add update_github_nightly_yml function to update .github/workflows/nightly.yml Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- scripts/update_version.py | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/scripts/update_version.py b/scripts/update_version.py index f33b20655..a969eaf88 100755 --- a/scripts/update_version.py +++ b/scripts/update_version.py @@ -115,6 +115,34 @@ def update_release_yml(version): except IOError as e: print(f"Error updating release.yml: {e}") +def update_github_nightly_yml(version): + """Update .github/workflows/nightly.yml with the version.""" + script_dir = os.path.dirname(os.path.abspath(__file__)) + nightly_file = os.path.join(os.path.dirname(script_dir), '.github', 'workflows', 'nightly.yml') + + version_parts = version.split('.') + if len(version_parts) >= 3: + major, minor, patch = version_parts[0], version_parts[1], version_parts[2] + else: + print(f"Warning: Invalid version format in VERSION.txt: {version}") + return + + try: + with open(nightly_file, 'r') as f: + content = f.read() + + # Update MAJOR, MINOR, PATCH environment variables + content = re.sub(r"(\s+MAJOR:\s*')[^']*('.*)", r"\g<1>" + major + r"\g<2>", content) + content = re.sub(r"(\s+MINOR:\s*')[^']*('.*)", r"\g<1>" + minor + r"\g<2>", content) + content = re.sub(r"(\s+PATCH:\s*')[^']*('.*)", r"\g<1>" + patch + r"\g<2>", content) + + with open(nightly_file, 'w') as f: + f.write(content) + + print(f"Updated .github/workflows/nightly.yml version to {major}.{minor}.{patch}") + except IOError as e: + print(f"Error updating .github/workflows/nightly.yml: {e}") + def main(): """Main function.""" print("Z3 Version Update Script") @@ -128,6 +156,7 @@ def main(): update_bazel_module(version) update_nightly_yaml(version) update_release_yml(version) + update_github_nightly_yml(version) print("\nUpdate complete!") print("\nNote: The following files automatically read from VERSION.txt:")