Bump @vscode/web-custom-data from 0.4.9 to 0.4.12 (#55) #139
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: "Update generated" | |
on: [push, workflow_dispatch] | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
cancel-in-progress: true | |
jobs: | |
submit-changes: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Execute script | |
uses: michijs/.github/.github/actions/execute-script@main | |
with: | |
script-name: "start" | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
# Configure Git | |
- name: Git configuration | |
uses: michijs/.github/.github/actions/set-git-config-github-actions@main | |
- name: Run formatter | |
uses: michijs/.github/.github/actions/lint@main | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
# Commit changes | |
- name: Commit changes | |
uses: michijs/.github/.github/actions/commit-if-changes@main | |
with: | |
message: "Updated generated types" | |
# Push repository changes | |
- name: Push changes | |
uses: michijs/.github/.github/actions/pull-and-push@main | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} |