Add git push

c849f054b9cf8c4bd7882e0c9fb601030956982b
Certora · Jan 21, 2025 · 5f5e9c3 · 5f5e9c3
1 parent f5db129
commit 5f5e9c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/git_mirror.yml b/.github/workflows/git_mirror.yml
@@ -30,4 +30,4 @@ jobs:
       - name: Push
         run: |
           cd cloud-rel-public
-          git log
+          git push