Merge pull request #18 from leanprover-community/bryangingechen-patch-1

chore(random_issue.yml): update Python + actions versions

.github/workflows/random_issue.yml

@@ -2,7 +2,8 @@ name: post triage issues on Zulip
 
 on:
   schedule:
-   - cron: '0 14 * * *'
+    - cron: '0 14 * * *'
+  workflow_dispatch:
 
 jobs:
   post_issues:
@@ -11,12 +12,12 @@ jobs:
     steps:
 
     - name: Checkout scripts
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
 
     - name: Setup Python
-      uses: actions/setup-python@v1
+      uses: actions/setup-python@v5
       with:
-        python-version: '3.8'
+        python-version: '3.12'
 
     - name: Install python packages
       run: |