diff --git a/scripts/dev/build_release.py b/scripts/dev/build_release.py index 0019752c2..55ee9a151 100755 --- a/scripts/dev/build_release.py +++ b/scripts/dev/build_release.py @@ -377,6 +377,11 @@ def main(): github_upload(artifacts, args.upload[0]) if upload_to_pypi: pypi_upload(artifacts) + else: + print() + scriptutils.print_title("Artifacts") + for artifact in artifacts: + print(artifact) if __name__ == '__main__':