Create empty dir

40eb6b1cc98b365c1f64c7751185116bfe90ea39
Certora · Jan 23, 2025 · d2969cc · d2969cc
1 parent ba75623
commit d2969cc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.git-private-commit b/.git-private-commit
@@ -10,3 +10,4 @@ a211f53a8f0dd58a122066af2e2702551c1eda58
 b6167e1cd5729745d8120d524b0fbcda23105c86
 61dfef531214a2c2e4352034341c508a921fc6c1
 f32856d1f2b3c1ef3050ce111884ed5f97a59758
+40eb6b1cc98b365c1f64c7751185116bfe90ea39
diff --git a/.github/workflows/git_mirror.yml b/.github/workflows/git_mirror.yml
@@ -25,9 +25,8 @@ jobs:
 
       - name: Mirror
         run: |
+          mkdir -p cloud-rel-public/cloud-test-private
           cd cloud-rel-private
-          git ls-files
-          ls cloud-test-private
           ./scripts/git-mirror.sh ../cloud-rel-public
 
       - name: Push