Add workflow_dispatch event

.github/workflows/ci.yml

@@ -1,7 +1,7 @@
 name: CI
 on: [push, pull_request]
 permissions:
-  contents: read # to fetch code (actions/checkout)
+  contents: read
 jobs:
   build:
     runs-on: ubuntu-latest

.github/workflows/lock.yml

@@ -4,6 +4,7 @@ name: 'Lock threads'
 on:
   schedule:
     - cron: '0 3 * * *'
+  workflow_dispatch:
 
 permissions:
   issues: write

.github/workflows/stale.yml

@@ -4,6 +4,7 @@ name: 'Close stale issues/PRs'
 on:
   schedule:
     - cron: '0 4 * * *'
+  workflow_dispatch:
 
 permissions:
   issues: write