Skip to content

Check for dead domains #18

Check for dead domains

Check for dead domains #18

Workflow file for this run

name: Check for dead domains
run-name: Check for dead domains
on:
workflow_dispatch:
workflow_call:
permissions:
contents: write
jobs:
part-1:
runs-on: ubuntu-latest
timeout-minutes: 180
steps:
- name: Checkout
uses: actions/checkout@v4
with:
ref: main
- name: check_dead.sh part 1
run: bash scripts/check_dead.sh
- name: Push
run: |
git config user.email ${{ vars.GIT_EMAIL }}
git config user.name ${{ vars.GIT_USERNAME }}
git add .
git diff-index --quiet HEAD || git commit -m "CI: check for dead domains (1)"
git push -q
part-2:
needs: part-1
if: ${{ ! cancelled() }}
timeout-minutes: 180
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
ref: main
- name: check_dead.sh part 2
run: bash scripts/check_dead.sh part2
- name: Push
run: |
git config user.email ${{ vars.GIT_EMAIL }}
git config user.name ${{ vars.GIT_USERNAME }}
git add .
git diff-index --quiet HEAD || git commit -m "CI: check for dead domains (2)"
git push -q
check-resurrected-domains:
needs: part-2
if: ${{ ! cancelled() }}
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
ref: main
- name: check_dead.sh checkalive
run: bash scripts/check_dead.sh checkalive
- name: Push
run: |
git config user.email ${{ vars.GIT_EMAIL }}
git config user.name ${{ vars.GIT_USERNAME }}
git add .
git diff-index --quiet HEAD || git commit -m "CI: check for resurrected domains"
git push -q
remove-dead-domains:
needs: check-alive

Check failure on line 74 in .github/workflows/check_dead.yml

View workflow run for this annotation

GitHub Actions / Check for dead domains

Invalid workflow file

The workflow is not valid. .github/workflows/check_dead.yml (Line: 74, Col: 12): Job 'remove-dead-domains' depends on unknown job 'check-alive'.
if: ${{ ! cancelled() }}
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
ref: main
- name: check_dead.sh remove
run: bash scripts/check_dead.sh remove
- name: Push
run: |
git config user.email ${{ vars.GIT_EMAIL }}
git config user.name ${{ vars.GIT_USERNAME }}
git add .
git diff-index --quiet HEAD || git commit -m "CI: remove dead domains"
git push -q