github workflows: split lint and mirror tasks into separate tasks

This commit is contained in:
Franziska Kunsmann 2024-05-07 16:44:26 +02:00
parent 7494f5c677
commit e330e33f83
No known key found for this signature in database
GPG key ID: 12E3D2136B818350

View file

@ -6,16 +6,23 @@ on:
branches: [ master ]
jobs:
lint-and-mirror:
linter:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: PHP Lint
uses: michaelw90/PHP-Lint@2.1.0
mirror:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Mirror to VOC gitolite
uses: pixta-dev/repository-mirroring-action@v1.1.1
with: