You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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:
rust-interop
releases, but rather https://jitpack.io/#epfl-lara/stainless/The text was updated successfully, but these errors were encountered: