Merge remote-tracking branch 'origin/main' into publication

Author: Azure Pipelines

.azure/ipynb-publish.yml

@@ -43,14 +43,6 @@ jobs:
           bash .actions/git-diff-sync.sh $current_branch $(PUB_BRANCH)
         displayName: "Compare changes & sync"
 
-      - bash: |
-          notebooks=$(python .actions/assistant.py generate-matrix changed-folders.txt)
-          echo "##vso[task.setVariable variable=dirs;isOutput=true]$notebooks"
-        name: mtrx
-        displayName: "Changed matrix"
-      - bash: echo '$(mtrx.dirs)' | python -m json.tool
-        displayName: "Show matrix"
-
       - bash: |
           # second half with || [...] is needed for reading the last line
           while read -r line || [ -n "$line" ]; do
@@ -64,6 +56,15 @@ jobs:
         displayName: "Prune notebooks"
         timeoutInMinutes: "10"
 
+      - bash: |
+          notebooks=$(python .actions/assistant.py generate-matrix changed-folders.txt)
+          echo "##vso[task.setVariable variable=dirs;isOutput=true]$notebooks"
+        name: mtrx
+        displayName: "Changed matrix"
+      - bash: echo '$(mtrx.dirs)' | python -m json.tool
+        continueOnError: "true" # not crash if the matrix is empty
+        displayName: "Show matrix"
+
       - bash: |
           set -ex
           git status