diff options
| author | Ralf Jung <post@ralfj.de> | 2023-07-26 09:10:50 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-07-26 09:10:50 +0200 |
| commit | b452f50317bbea8cf6eb7d9af2d8873329244cd3 (patch) | |
| tree | bf6733e93319a4cd774bfba3db935117f891b14a | |
| parent | 58cb4849d3652ae583dae5813a9015ff0c3959b3 (diff) | |
| download | rust-b452f50317bbea8cf6eb7d9af2d8873329244cd3.tar.gz rust-b452f50317bbea8cf6eb7d9af2d8873329244cd3.zip | |
sparse registry has been stable for a bit now
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 462c921d722..f4ad966236c 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -12,9 +12,6 @@ on: schedule: - cron: '11 5 * * *' # At 5:11 UTC every day. -env: - CARGO_UNSTABLE_SPARSE_REGISTRY: 'true' - defaults: run: shell: bash |