diff options
| author | Ralf Jung <post@ralfj.de> | 2022-09-25 09:41:44 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-09-25 09:41:44 +0200 |
| commit | 75bbe38e53438d612de0d2ed3bc1b842153b0374 (patch) | |
| tree | 04f78827d3e15e24d6cd6ac048a7c16e10fb0443 | |
| parent | e0982da03a6a78dac132cfa27f3c0f17570104c4 (diff) | |
| download | rust-75bbe38e53438d612de0d2ed3bc1b842153b0374.tar.gz rust-75bbe38e53438d612de0d2ed3bc1b842153b0374.zip | |
CI: use cargo sparse registry
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 2d26e33545c..c05352f23d6 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -12,6 +12,9 @@ on: schedule: - cron: '5 15 * * *' # At 15:05 UTC every day. +env: + CARGO_UNSTABLE_SPARSE_REGISTRY: 'true' + jobs: build: runs-on: ${{ matrix.os }} |