Skip to content

Merge branch '4.13' into 5 #1398

Merge branch '4.13' into 5

Merge branch '4.13' into 5 #1398

Workflow file for this run

name: CI
on:
push:
pull_request:
workflow_dispatch:
jobs:
ci:
name: CI
uses: silverstripe/gha-ci/.github/workflows/ci.yml@v1
with:
# Turn phpcoverage off because it causes a segfault
phpcoverage_force_off: true