diff --git a/.ci/lib/common.py b/.ci/lib/common.py index ab1580a07bdedd66a485a681d0a777fe69fb4f73..f3f0507a13977397392b3c272e7eeb9045a40a7b 100755 --- a/.ci/lib/common.py +++ b/.ci/lib/common.py @@ -100,7 +100,7 @@ def get_changed_files(removed=True): commit_head = run_git(["rev-parse", "HEAD"])[:-1] commit_upstream = run_git(["rev-parse", branch_upstream])[:-1] print("commit HEAD: " + commit_head) - print(f"commit {branch_upstream}: f{commit_upstream}") + print(f"commit {branch_upstream}: {commit_upstream}") # Check if we are HEAD on the upstream branch if commit_head == commit_upstream: