Files
eos/.github/workflows/merge_PR.yml
Artur Glavic 21a1fd1be3
All checks were successful
Unit Testing / test (3.11) (pull_request) Successful in 45s
Unit Testing / test (3.10) (pull_request) Successful in 48s
Unit Testing / test (3.8) (pull_request) Successful in 46s
Unit Testing / test (3.12) (pull_request) Successful in 49s
Unit Testing / test (3.9) (pull_request) Successful in 48s
Pull Request Merged / autoupdate_minor (pull_request) Successful in 4s
auto-update minor revision and date on pull request merge
2026-03-02 12:11:29 +01:00

18 lines
386 B
YAML

name: Pull Request Merged
on:
pull_request:
types: [closed]
jobs:
autoupdate_minor:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.13'
- name: Perform PR auto-action
run: |
python PR_merged.py