Merge branch 'main' into JamesMGreene-patch-1

.github/workflows/check-dist.yml

@@ -42,9 +42,3 @@ jobs:
             git diff
             exit 1
           fi
-
-          if [ "$(git diff --ignore-space-at-eol pre/ | wc -l)" -gt "0" ]; then
-            echo "Detected uncommitted changes after build in pre folder. See status below:"
-            git diff
-            exit 1
-          fi