Correct release script. Again.

.github/workflows/release.yml

@@ -100,10 +100,10 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           merge-multiple: true
-      - name: List artifacts
-        run: ls -R
       - name: Get tag message
         run: git tag -l --format='%(contents)' $(git describe --tags) > release_body.md
+      - name: Print release body
+        run: cat release_body.md
       - uses: ncipollo/release-action@v1
         with:
           draft: true

scripts/check_pre_ci.py

@@ -50,6 +50,7 @@ def main():
     notes_path = generate_notes(tag)
     
     subprocess.check_call(["git", "tag", "-a", "-F", notes_path, tag ])
+    subprocess.check_call(["git", "push"])
     subprocess.check_call(["git", "push", "--tags"])