|
|
|
|
@ -1,34 +1,37 @@
|
|
|
|
|
name: Update Psalm baseline
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
workflow_dispatch:
|
|
|
|
|
schedule:
|
|
|
|
|
- cron: '5 4 * * *'
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
update-psalm-baseline:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
- name: Checkout submodules
|
|
|
|
|
shell: bash
|
|
|
|
|
run: |
|
|
|
|
|
auth_header="$(git config --local --get http.https://github.com/.extraheader)"
|
|
|
|
|
git submodule sync --recursive
|
|
|
|
|
git -c "http.extraheader=$auth_header" -c protocol.version=2 submodule update --init --force --recursive --depth=1
|
|
|
|
|
with:
|
|
|
|
|
submodules: true
|
|
|
|
|
|
|
|
|
|
- name: Set up php7.4
|
|
|
|
|
uses: shivammathur/setup-php@master
|
|
|
|
|
uses: shivammathur/setup-php@v2
|
|
|
|
|
with:
|
|
|
|
|
php-version: 7.4
|
|
|
|
|
extensions: ctype,curl,dom,fileinfo,gd,iconv,intl,json,mbstring,openssl,pdo_sqlite,posix,sqlite,xml,zip
|
|
|
|
|
coverage: none
|
|
|
|
|
|
|
|
|
|
- name: Composer install
|
|
|
|
|
run: composer install
|
|
|
|
|
|
|
|
|
|
- name: Psalm
|
|
|
|
|
run: composer run psalm -- --monochrome --no-progress --output-format=text --update-baseline
|
|
|
|
|
|
|
|
|
|
- name: Reset composer
|
|
|
|
|
run: |
|
|
|
|
|
git clean -f lib/composer
|
|
|
|
|
git checkout composer.json composer.lock lib/composer
|
|
|
|
|
|
|
|
|
|
- name: Create Pull Request
|
|
|
|
|
uses: peter-evans/create-pull-request@v3
|
|
|
|
|
with:
|
|
|
|
|
@ -43,4 +46,4 @@ jobs:
|
|
|
|
|
Auto-generated update psalm-baseline.xml with fixed psalm warnings
|
|
|
|
|
labels: |
|
|
|
|
|
automated pr
|
|
|
|
|
reviewers: juliushaertl, artonge, kesselb
|
|
|
|
|
team-reviewers: server-backend
|
|
|
|
|
|