Skip to content

Add a date in the RSS header when we don't have current and future events #1023

Add a date in the RSS header when we don't have current and future events

Add a date in the RSS header when we don't have current and future events #1023

name: Coding standards
on:
pull_request:
types: [ opened, synchronize ]
jobs:
phpcs:
name: phpcs
runs-on: ubuntu-latest
steps:
- name: Check out repository
uses: actions/checkout@v4
- name: Install PHP
uses: shivammathur/setup-php@v2
with:
php-version: '8.3'
coverage: 'none'
tools: composer, cs2pr
- name: Install dependencies
uses: ramsey/composer-install@v2
with:
composer-options: "--no-progress --no-ansi --no-interaction"
- name: Run PHPCS
run: vendor/bin/phpcs --standard=phpcs.xml -q --report=checkstyle | cs2pr --notices-as-warnings