GHA: Fix push + PR

see https://github.community/t/how-to-factor-paths-in-common-for-push-and-pull-request/115967/2

TL;DR:  There is no way to specify the common paths for two events
This commit is contained in:
Dirk 2021-06-19 11:12:00 +02:00
parent 5cd97ddcb9
commit 247d08882e

View File

@ -1,16 +1,27 @@
name: testssl.sh CI name: testssl.sh CI
on: [push, pull_request] on:
paths-ignore: push:
- 'utils/**' paths-ignore:
- 'docs/**' - 'utils/**'
- 'bin/**' - 'docs/**'
- '**.md' - 'bin/**'
- '**.pem' - '**.md'
- '**.pdf' - '**.pem'
- '**.html' - '**.pdf'
- 'LICENSE' - '**.html'
- 'Dockerfile' - 'LICENSE'
- 'Dockerfile'
pull_request:
- 'utils/**'
- 'docs/**'
- 'bin/**'
- '**.md'
- '**.pem'
- '**.pdf'
- '**.html'
- 'LICENSE'
- 'Dockerfile'
jobs: jobs:
build: build: