From 4e0d164f6f23504c54b766c8133792f1b2845cbc Mon Sep 17 00:00:00 2001 From: Simon L Date: Mon, 21 Aug 2023 19:15:41 +0200 Subject: [PATCH] add workflow to notify of changed viewer.html Signed-off-by: Simon L --- .github/workflows/update-viewer.yml | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 .github/workflows/update-viewer.yml diff --git a/.github/workflows/update-viewer.yml b/.github/workflows/update-viewer.yml new file mode 100644 index 00000000..2700e20f --- /dev/null +++ b/.github/workflows/update-viewer.yml @@ -0,0 +1,28 @@ +name: Update viewer.php - viewer.html got updated so viewer.php needs an update + +on: + pull_request: + types: [opened, ready_for_review, reopened, synchronize] + paths: + - 'js/pdfjs/web/viewer.html' + +permissions: + contents: read + +concurrency: + group: update-viewer-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + +jobs: + update-viewer: + name: Update viewer.php - viewer.html got updated so viewer.php needs an update + + if: github.event.pull_request.draft == false + + runs-on: ubuntu-latest + + steps: + - name: Update viewer.php - viewer.html got updated so viewer.php needs an update + run: | + echo "Update viewer.php - viewer.html got updated so viewer.php needs an update" + exit 1