some debugs

Author: phymbert

.github/workflows/server.yml

@@ -80,6 +80,7 @@ jobs:
         id: server_integration_tests
         if: ${{ matrix.disabled_on_pr != 'true' || github.event.pull_request == '' }}
         run: |
+          echo " id=${{ matrix.disabled_on_pr != 'true' || github.event.pull_request == '' }}  matrix.disabled_on_pr=${{ matrix.disabled_on_pr  }}  github.event.pull_request=${{ github.event.pull_request }}"
           cd examples/server/tests
           PORT=8888 ./tests.sh