mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-24 21:59:04 +00:00
c3d1f7981b
The workflow run at https://github.com/zed-industries/zed/actions/runs/23557683707 succeeded but threw some warnings for a rather-soon Node.js 20 deprecation (June 2nd). Hence, this PR updates in that context mentioned workflows to newer versions from which on the actions will use Node.js 24. Namely, this updates - `actions/checkout` - `actions/create-github-app-token` and - `peter-evans/create-pull-request` to their latest version which includes said updates. As for their most recent versions, all of these actions just updated their versions to account for said deprecation. Release Notes: - N/A
29 lines
833 B
YAML
29 lines
833 B
YAML
name: Update Duplicate Magnets Issue
|
|
|
|
on:
|
|
schedule:
|
|
- cron: "0 6 * * 1,4" # Mondays and Thursdays at 6 AM UTC
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
update-duplicate-magnets:
|
|
runs-on: ubuntu-latest
|
|
if: github.repository == 'zed-industries/zed'
|
|
steps:
|
|
- uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
|
|
|
|
- name: Set up Python
|
|
uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5
|
|
with:
|
|
python-version: "3.12"
|
|
|
|
- name: Install dependencies
|
|
run: pip install requests
|
|
|
|
- name: Update duplicate magnets issue
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
run: |
|
|
python script/github-find-top-duplicated-bugs.py \
|
|
--github-token "$GITHUB_TOKEN" \
|
|
--issue-number 46355
|