Merge remote-tracking branch 'origin/main' into contract-init-rework

# Conflicts:
#	FULL_HELP_DOCS.md
#	cmd/soroban-cli/src/commands/contract/init.rs

.github/workflows/dependency-check.yml

@@ -14,12 +14,6 @@ defaults:
     shell: bash
 
 jobs:
-  dependency-sanity-checker:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - run: rustup update
-      - run: scripts/check-dependencies.bash
   validate-rust-git-rev-deps:
     runs-on: ubuntu-latest
     steps:

.github/workflows/rust.yml

@@ -17,7 +17,7 @@ jobs:
 
   complete:
     if: always()
-    needs: [fmt, build-and-test, publish-dry-run]
+    needs: [fmt, check-generated-full-help-docs, build-and-test, publish-dry-run]
     runs-on: ubuntu-latest
     steps:
     - if: contains(needs.*.result, 'failure') || contains(needs.*.result, 'cancelled')
@@ -38,6 +38,15 @@ jobs:
     - name: Check no diffs exist
       run: git add -N . && git diff HEAD --exit-code
 
+  check-generated-full-help-docs:
+    runs-on: ubuntu-latest-16-cores
+    steps:
+    - uses: actions/checkout@v4
+    - uses: stellar/actions/rust-cache@main
+    - run: rustup update
+    - run: make generate-full-help-doc
+    - run: git add -N . && git diff HEAD --exit-code
+
   build-and-test:
     strategy:
       fail-fast: false