Skip to content

cron: don't delete group if it has patches #192

cron: don't delete group if it has patches

cron: don't delete group if it has patches #192

Workflow file for this run

name: Build
on: [push, pull_request]
jobs:
build:
name: ${{ matrix.os }} ${{ matrix.phpversion }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-20.04]
phpversion: ["7.4", "8.1", "8.2", "8.3"]
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Install dependencies
run: |
wget https://getcomposer.org/installer -O composer-setup.php
php${{ matrix.phpversion }} composer-setup.php
rm composer-setup.php
php${{ matrix.phpversion }} composer.phar update
cp config.php.in config.php
- name: Syntax checker
run: ./.github/scripts/syntax-check.sh
- name: Run Install script
run: php${{ matrix.phpversion }} doctrine.php orm:schema-tool:create
- name: Generate proxies
run: php${{ matrix.phpversion }} doctrine.php orm:generate-proxies
- name: Check ORM mapping
run: php${{ matrix.phpversion }} doctrine.php orm:validate-schema |& grep "The mapping files are correct"
env:
PHP_VERSION: ${{ matrix.phpversion }}