Only publish documentation when changed

This commit is contained in:
Florian Albrechtskirchinger 2022-08-04 17:22:37 +02:00
parent 98d70d4676
commit e9f2e24bb5
No known key found for this signature in database
GPG Key ID: 19618CE9B2D4BE6D

View File

@ -5,6 +5,9 @@ on:
push:
branches:
- develop
paths:
- docs/mkdocs/**
- docs/examples/**
# we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
concurrency: