New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Set mode in every scope #143

Merged

DavidGregory084 merged 1 commit into typelevel:main from steinybot:set-mode-everywhere

Mar 31, 2023

Contributor

steinybot commented Mar 31, 2023

Closes #142


          Set mode in every scope

290c5f4

Member

DavidGregory084 commented Mar 31, 2023

I can't think of a reason not to do this - happy to merge it once CI goes green!

DavidGregory084 merged commit 8811599 into typelevel:main

steinybot deleted the set-mode-everywhere branch

April 4, 2023 00:56

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment