haerdib opened this issue 3 years ago · 0 comments
PR #7 updated rust-toolchain file - we need to adapt jenkins