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 ee2be585f0 - 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 ))
steps:
- name: Approve Changes and Merge changes if label 'dependencies' is set
uses: actions/github-script@v4
uses: actions/github-script@v6
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |