From 66e7c0e8f744ba35d36de04182d12c6a06abe55a Mon Sep 17 00:00:00 2001 From: Dominic Fraser Date: Wed, 4 Oct 2023 01:27:55 +0100 Subject: [PATCH] test push --- .github/workflows/pr.yml | 10 +++++----- docs/releasing.md | 4 +--- 2 files changed, 6 insertions(+), 8 deletions(-) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index ed1fb28..3048325 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -35,11 +35,11 @@ jobs: if: steps.changed-files.outputs.only_modified == 'true' run: echo "only_modified == 'true'" - - name: Print all changed files - if: steps.changed-files.outputs.any_changed == 'true' - run: | - echo "One or more test file(s) has changed." - echo "List all the files that have changed: ${{ steps.changed-files.outputs.all_changed_files }}" + # - name: Print all changed files + # if: steps.changed-files.outputs.any_changed == 'true' + # run: | + # echo "One or more test file(s) has changed." + # echo "List all the files that have changed: ${{ steps.changed-files.outputs.all_changed_files }}" # - name: Lint # run: npm run lint diff --git a/docs/releasing.md b/docs/releasing.md index 3806296..06c0ce3 100644 --- a/docs/releasing.md +++ b/docs/releasing.md @@ -12,6 +12,4 @@ To do this: - Run `git push && git push --tags`. - When creating a release on the UI, specify the tag, link PRs associated to the release and include description of all changes. // - - -/ +//