cleanup tmp branch after update

nikita-skobov · Oct 18, 2020 · 98a8741 · 98a8741
1 parent 9607183
commit 98a8741
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml
@@ -201,3 +201,6 @@ jobs:
       - name: commit_and_push_new_docs
         continue-on-error: true
         run: git add doc/ && git commit -m "updates docs for ${{ github.event.inputs.name }}" && git push
+      - name: cleanup_tmp_branch
+        run: git push origin --delete tmp_branch
+        continue-on-error: true