ci(Go, Rust): disable for current HV-2 work (#1360)

Author: texastony

.github/workflows/manual.yml

@@ -37,8 +37,7 @@ jobs:
     with:
       dafny: ${{ inputs.dafny }}
       regenerate-code: ${{ inputs.regenerate-code }}
-  # TODO-Rust-CI: Removing Rust Runtimes until the underlying issue resolved.
-  # TODO-Rust-CI: Rust runtimes checks are failing to resolve dafny_runtime imports.
+  # TODO-HV-2-Rust: Removing Rust Runtimes until the underlying issue resolved.
   #  manual-ci-rust:
   #    uses: ./.github/workflows/library_rust_tests.yml
   #    with:
@@ -49,11 +48,12 @@ jobs:
     with:
       dafny: ${{ inputs.dafny }}
       regenerate-code: ${{ inputs.regenerate-code }}
-  manual-ci-go:
-    uses: ./.github/workflows/library_go_tests.yml
-    with:
-      dafny: ${{ inputs.dafny }}
-      regenerate-code: ${{ inputs.regenerate-code }}
+  # TODO-HV-2-Go: Removing Go CI until we rebase or need it
+  # manual-ci-go:
+  #   uses: ./.github/workflows/library_go_tests.yml
+  #   with:
+  #     dafny: ${{ inputs.dafny }}
+  #     regenerate-code: ${{ inputs.regenerate-code }}
   manual-interop-test:
     uses: ./.github/workflows/library_interop_tests.yml
     with:

.github/workflows/pull.yml

@@ -39,8 +39,7 @@ jobs:
     uses: ./.github/workflows/library_net_tests.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
-  # TODO-Rust-CI: Removing Rust Runtimes until the underlying issue resolved.
-  # TODO-Rust-CI: Rust runtimes checks are failing to resolve dafny_runtime imports
+  # TODO-HV-2-Rust: Removing Rust until we rebase or need it
   # pr-ci-rust:
   #   needs: getVersion
   #   uses: ./.github/workflows/library_rust_tests.yml
@@ -51,6 +50,7 @@ jobs:
     uses: ./.github/workflows/library_python_tests.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  # TODO-HV-2-Go: Removing Go CI until we rebase or need it
   # pr-ci-go:
   #   needs: getVersion
   #   uses: ./.github/workflows/library_go_tests.yml
@@ -73,7 +73,9 @@ jobs:
       - pr-ci-java
       - pr-ci-net
       - pr-ci-python
+      # TODO-HV-2-Go: Removing Go CI until we rebase or need it
       # - pr-ci-go
+      # TODO-HV-2-Rust: Removing Rust until we rebase or need it
       # - pr-ci-rust
       - pr-interop-test
       - pr-ci-examples

.github/workflows/push.yml

@@ -36,8 +36,7 @@ jobs:
     uses: ./.github/workflows/library_net_tests.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
-  # TODO-Rust-CI: Removing Rust Runtimes until the underlying issue resolved.
-  # TODO-Rust-CI: Rust runtimes checks are failing to resolve dafny_runtime imports
+  # TODO-HV-2-Rust: Removing Rust until we rebase or need it.
   # push-ci-rust:
   #   needs: getVersion
   #   uses: ./.github/workflows/library_rust_tests.yml
@@ -48,6 +47,7 @@ jobs:
     uses: ./.github/workflows/library_python_tests.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  # TODO-HV-2-Go: Removing Go CI until we rebase or need it
   # push-ci-go:
   #   needs: getVersion
   #   uses: ./.github/workflows/library_go_tests.yml