diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2020-07-21 08:58:09 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2020-07-21 09:39:38 +0100 |
commit | 4f95d1f2597cb0e60ab7409fd147b81dea4db509 (patch) | |
tree | 41e413ba1b061214276c246969eff7973c1a8b1c /.github/workflows | |
parent | 622150e8734ba1c4528c40fd965c9e9a97f9d57a (diff) |
add github action to wait for ofborg
In case ofborg is down this will not mark the CI as green. Also if other github actions are used and pass checks will be still marked as pending even if other other github actions have passed.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/wait-ofborg.yml | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.github/workflows/wait-ofborg.yml b/.github/workflows/wait-ofborg.yml new file mode 100644 index 0000000000000..52185ce03ce0c --- /dev/null +++ b/.github/workflows/wait-ofborg.yml @@ -0,0 +1,28 @@ +name: "Wait for ofborg" +on: + pull_request: +jobs: + tests: + runs-on: ubuntu-latest + steps: + - name: Wait for ofborg CI + run: | + # wait for ~10min + set -x + for i in $(seq 120); do + res=$(curl --silent \ + -H "Accept: application/vnd.github.antiope-preview+json" \ + -H "Authorization: token ${GITHUB_TOKEN}" \ + "https://api.github.com/repos/NixOS/nixpkgs/commits/${COMMIT}/check-runs" | \ + jq ".check_runs | map(.app) | map(.id) | contains([${OFBORG_APP_ID}])") + if [[ "$res" == "true" ]]; then + exit 0 + fi + sleep 5 + done + echo "Timeout!" + exit 1 + env: + GITHUB_TOKEN: ${{ github.token }} + COMMIT: ${{ github.event.pull_request.head.sha }} + OFBORG_APP_ID: 20500 |