epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Improve dependency management with Stainless #166

Open yannbolliger opened 3 years ago

yannbolliger commented 3 years ago

Currently, for each change to the rust-interop branch of Stainless, we need to do a prerelease with a special tag to depend on that specific version of Stainless. The pre-release needs to have the binary attached that is then downloaded by our CI and used.

There could be less labour-intensive ways to achieve the same: