when:
  - event: manual
  - event: pull_request
  - event: push
    branch: main

steps:
  - name: check-dns
    image: ubuntu
    commands:
      - ping github.com