Skip to content

Merge branch '__rultor' #4351

Merge branch '__rultor'

Merge branch '__rultor' #4351

Workflow file for this run

---
name: xcop
on:
push:
branches:
- master
pull_request:
branches:
- master
concurrency:
group: xcop-${{ github.ref }}
cancel-in-progress: true
jobs:
xcop:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac # v4
- uses: g4s8/[email protected]
with:
files: |
**/*.xsl
**/*.xml