2022-04-14 16:43:10 +02:00
|
|
|
name: Update Autogenerated Files
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
regen-autogenerated-files:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
if: github.event.pull_request.head.repo.full_name == github.repository
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
|
2022-06-09 19:04:06 +02:00
|
|
|
- uses: actions/setup-python@v4
|
2022-04-14 16:43:10 +02:00
|
|
|
with:
|
|
|
|
python-version: 3.9
|
|
|
|
|
|
|
|
- run: make regen-all
|
|
|
|
|
|
|
|
- name: Create Pull Request
|
|
|
|
id: cpr
|
2022-04-15 22:35:46 +02:00
|
|
|
uses: peter-evans/create-pull-request@v4
|
2022-04-14 16:43:10 +02:00
|
|
|
with:
|
|
|
|
commit-message: "[automated] Update auto-generated files"
|
|
|
|
title: "[automated] Update auto-generated files"
|
|
|
|
delete-branch: true
|
|
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|