Skip to content

Update dependency typescript to v5.7.2 (#1852) #135

Update dependency typescript to v5.7.2 (#1852)

Update dependency typescript to v5.7.2 (#1852) #135

Workflow file for this run

---
name: format
on:
pull_request:
types:
- opened
- synchronize
- reopened
- closed
push:
branches:
- main
permissions:
contents: write
pull-requests: write
jobs:
format:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
fetch-depth: 0
ref: ${{ github.event.pull_request.head.sha || github.sha }}
- uses: actions/setup-node@39370e3970a6d050c480ffad4ff0ed4d3fdee5af # v4.1.0
if: github.event_name != 'pull_request' || github.event.action != 'closed'
with:
cache: npm
node-version-file: .node-version
- if: github.event_name != 'pull_request' || github.event.action != 'closed'
run: npm install
- name: Get inputs markdown
id: get_inputs_markdown
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
if: github.event_name != 'pull_request' || github.event.action != 'closed'
env:
HEAD_REF: ${{github.event.pull_request.head.ref || github.head_ref}}
with:
github-token: ${{secrets.GITHUB_TOKEN}}
result-encoding: string
script: |
const {tsImport} = require('tsx/esm/api')
const {script} = await tsImport(
'./scripts/format/format/get_inputs_markdown.ts',
process.env.GITHUB_WORKSPACE + '/'
)
return script()
- env:
INPUTS: ${{steps.get_inputs_markdown.outputs.result}}
if: github.event_name != 'pull_request' || github.event.action != 'closed'
run: bash "${GITHUB_WORKSPACE}/scripts/format/format/update_readme.sh"
- run: npx prettier --write .
if: github.event_name != 'pull_request' || github.event.action != 'closed'
- run: tsc
if: github.event_name != 'pull_request' || github.event.action != 'closed'
- uses: ./
with:
github-token: ${{secrets.GITHUB_TOKEN}}
branch-name-prefix: fix-format
pr-title-prefix: format修正
pr-description-prefix: formatを修正しました。
concurrency:
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}
cancel-in-progress: true