From c6693572830daed67d90d3e30daccf9b46583e71 Mon Sep 17 00:00:00 2001
From: George Wang <gtwang01@meta.com>
Date: Thu, 8 Aug 2024 13:43:16 -0700
Subject: [PATCH] Introduce retry-build workflow (#3718)

Summary:
Pull Request resolved: https://github.com/facebookresearch/faiss/pull/3718

This workflow needs to be pushed first before it can be called from the build workflow.

Reviewed By: ramilbakhshyiev

Differential Revision: D60697701

fbshipit-source-id: 40cb6b7006dae8293e966cc2cbb0ebda5d606045
---
 .github/workflows/retry_build.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/retry_build.yml

diff --git a/.github/workflows/retry_build.yml b/.github/workflows/retry_build.yml
new file mode 100644
index 0000000000..6c0480fcc5
--- /dev/null
+++ b/.github/workflows/retry_build.yml
@@ -0,0 +1,19 @@
+name: Retry Build
+on:
+  workflow_dispatch:
+    inputs:
+      run_id:
+        required: true
+jobs:
+  rerun-on-failure:
+    permissions: write-all
+    runs-on: ubuntu-latest
+    steps:
+      - name: rerun ${{ inputs.run_id }}
+        env:
+          GH_REPO: ${{ github.repository }}
+          GH_TOKEN: ${{ github.token }}
+          GH_DEBUG: api
+        run: |
+          gh run watch ${{ inputs.run_id }} > /dev/null 2>&1
+          gh run rerun ${{ inputs.run_id }} --failed