Add toolchain file for hashmap (#422)

- [x] no changelog update needed
This commit is contained in:
Corwin 2023-04-25 21:49:52 +01:00 committed by GitHub
commit b5d8201eb0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -0,0 +1,3 @@
[toolchain]
channel = "nightly"
components = ["miri"]