Closed deemp closed 1 year ago
Oh, love it thanks
thanks for taking my work to the finish line!
bors merge
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
Hi! It seems that @zimbatm solution from https://github.com/numtide/devshell/pull/6 works. Just an option was missing in
back-compat
.Succesfully tried with
shellFor
here.Closes https://github.com/numtide/devshell/issues/5 Replaces https://github.com/numtide/devshell/pull/219