Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: facebookresearch/faiss
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 2522174ab99811c8ab02f66590e9069a64f84001
Choose a base ref
..
head repository: facebookresearch/faiss
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 81473fb2c84c342886437ad020598374e171664f
Choose a head ref
Showing with 8 additions and 10 deletions.
  1. +6 −9 .github/workflows/build.yml
  2. +2 −1 .github/workflows/retry_build.yml
15 changes: 6 additions & 9 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
@@ -262,16 +262,13 @@ jobs:
- uses: ./.github/actions/build_conda
with:
label: main
re-run:
rerun:
name: Activate rerun workflow
if: fromJSON(github.run_attempt) < 2
runs-on: ubuntu-latest
env:
GH_TOKEN: ${{ github.token }}
steps:
- name:
run: |
gh workflow run retry_build.yml |
--raw-field run_id=${{ github.run_id }} |
--repo ${{ github.repository }}
if(!$?) { exit 1 }
- env:
GH_REPO: ${{ github.repository }}
GH_TOKEN: ${{ github.token }}
GH_DEBUG: api
run: gh workflow run retry_build.yml -F run_id=${{ github.run_id }}
3 changes: 2 additions & 1 deletion .github/workflows/retry_build.yml
Original file line number Diff line number Diff line change
@@ -7,11 +7,12 @@ on:
jobs:
rerun-on-failure:
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion == 'success' }}
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