regen for latest micro #32

Merged
vtolstov merged 63 commits from regen into master 2023-04-28 16:05:48 +03:00
Showing only changes of commit ff27c1dd34 - Show all commits

View File

@ -25,7 +25,7 @@ jobs:
|| (github.event.workflow_run.event == 'push' && github.event.workflow_run.pull_requests[0].base.ref == github.event.repository.default_branch )) || (github.event.workflow_run.event == 'push' && github.event.workflow_run.pull_requests[0].base.ref == github.event.repository.default_branch ))
steps: steps:
- name: Approve Changes and Merge changes if label 'dependencies' is set - name: Approve Changes and Merge changes if label 'dependencies' is set
uses: actions/github-script@v4 uses: actions/github-script@v6
with: with:
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
script: | script: |