Skip to content

chore: Sync main and develop for release 1.13 #1003

chore: Sync main and develop for release 1.13

chore: Sync main and develop for release 1.13 #1003

Workflow file for this run

name: Record PR details
on:
pull_request:
types: [opened, edited, closed]
jobs:
record_pr:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
- name: "Extract PR details"
uses: actions/github-script@v6
with:
script: |
const script = require('.github/scripts/save_pr_details.js')
await script({github, context, core})
- uses: actions/upload-artifact@v3
with:
name: pr
path: pr.txt