This copies the rust-toolchain file into the build container to make sure we use the proper toolchain from the beginning. I've also switched the build image to official rust as we're going to pull requested toolchain anyways.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.
## 📋 Pull Request Information
**Original PR:** https://github.com/dani-garcia/vaultwarden/pull/41
**Author:** [@mprasil](https://github.com/mprasil)
**Created:** 6/12/2018
**Status:** ✅ Merged
**Merged:** 6/13/2018
**Merged by:** [@dani-garcia](https://github.com/dani-garcia)
**Base:** `master` ← **Head:** `toolchain_build`
---
### 📝 Commits (1)
- [`0260667`](https://github.com/dani-garcia/vaultwarden/commit/0260667f7a299b638a14c40b265d463790645a7f) Use proper toolchain in Dockerfile
### 📊 Changes
**1 file changed** (+2 additions, -1 deletions)
<details>
<summary>View changed files</summary>
📝 `Dockerfile` (+2 -1)
</details>
### 📄 Description
This copies the rust-toolchain file into the build container to make sure we use the proper toolchain from the beginning. I've also switched the build image to official `rust` as we're going to pull requested toolchain anyways.
---
<sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
📋 Pull Request Information
Original PR: https://github.com/dani-garcia/vaultwarden/pull/41
Author: @mprasil
Created: 6/12/2018
Status: ✅ Merged
Merged: 6/13/2018
Merged by: @dani-garcia
Base:
master← Head:toolchain_build📝 Commits (1)
0260667Use proper toolchain in Dockerfile📊 Changes
1 file changed (+2 additions, -1 deletions)
View changed files
📝
Dockerfile(+2 -1)📄 Description
This copies the rust-toolchain file into the build container to make sure we use the proper toolchain from the beginning. I've also switched the build image to official
rustas we're going to pull requested toolchain anyways.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.