Chore: Omit Rust from the nightly release workflow (#5559)

We have observed that the Rust compiler fails randomly. To not disrupt
the workflow of the nightly release, and as the Rust compiler is still
under active development, it does not make sense to include it as part
of the nightly.

.github/workflows/nightly-build-reusable.yml

@@ -26,6 +26,9 @@ jobs:
  ref: ${{ inputs.ref }}
  all_platforms: true
  num_shards: 10
+ # Omit Rust because Rust is known to have random issues
+ env:
+ DAFNY_INTEGRATION_TESTS_ONLY_COMPILERS: cs,java,go,js,cpp,dfy,py
 
  determine-vars:
  if: github.repository_owner == 'dafny-lang' && inputs.publish-prerelease