diff --git a/scripts/release.py b/scripts/release.py index 84a39b54c377..980402c98f7e 100755 --- a/scripts/release.py +++ b/scripts/release.py @@ -2575,3 +2575,5 @@ def main(): if __name__ == "__main__": main() + +# ci-probe: inert change to trigger python test jobs (control run for #948)