From 4c346e68226ade9b8877950871c37e24fd844407 Mon Sep 17 00:00:00 2001 From: Kai Martins-Turner Date: Tue, 26 Nov 2024 21:14:39 +0100 Subject: [PATCH] Fix error in deploy-dtds.yaml I used the wrong comments signs -.- --- .github/workflows/deploy-dtds.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy-dtds.yaml b/.github/workflows/deploy-dtds.yaml index caf62f55141..e792136d5c7 100644 --- a/.github/workflows/deploy-dtds.yaml +++ b/.github/workflows/deploy-dtds.yaml @@ -9,7 +9,7 @@ on: jobs: rsync-dtds: - if: github.event.pull_request.merged == true // only if PR closed by merging + if: github.event.pull_request.merged == true # only if PR closed by merging name: sync DTDs to website runs-on: ubuntu-latest