Skip to content

chore: remove erroneous file #974

chore: remove erroneous file

chore: remove erroneous file #974

Workflow file for this run

name: check_links
on: [push, pull_request]
jobs:
check-links:
# Do not run this check if a PR is created from the same repo.
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.repository
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- uses: actions/checkout@v3
- name: Link Checker
uses: lycheeverse/[email protected]
with:
fail: true