Add manual events as "Check Workflows" workflow triggers

The `workflow_dispatch` event allows triggering the workflow via the GitHub web interface. This makes it easy to trigger
an immediate workflow run after some relevant external change.

The `repository_dispatch` event allows triggering workflows via the GitHub API. This might be useful for triggering an
immediate check in multiple relevant repositories after an external change, or some automated process. Although we don't
have any specific need for this event at the moment, the event has no impact on the workflow, so there is no reason
against having it. It is the sort of thing that can end up being useful if it is already in consistently in place, but
not worth setting up on demand, since the effort to set it up is greater than the effort to trigger all the workflows
manually.

Author: per1234

Diff for: .github/workflows/lint-config.yml

@@ -1,5 +1,6 @@
 name: Check Workflows
 
+# See: https://docs.github.com/en/actions/reference/events-that-trigger-workflows
 on:
   push:
     paths:
@@ -14,6 +15,8 @@ on:
   schedule:
     # Run every Tuesday at 03:00 UTC to catch breakage caused by changes to the GitHub Actions workflow schema
     - cron: "0 8 * * TUE"
+  workflow_dispatch:
+  repository_dispatch:
 
 jobs:
   lint: