diff --git a/.github/workflows/nightly-build-reusable.yml b/.github/workflows/nightly-build-reusable.yml index 9678c4f19d..f7c3833a06 100644 --- a/.github/workflows/nightly-build-reusable.yml +++ b/.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