Skip to content

Don’t allow dev to be activate twice#713

Merged
mxcl merged 4 commits into
mainfrom
dont-allow-dev-twice
Sep 12, 2023
Merged

Don’t allow dev to be activate twice#713
mxcl merged 4 commits into
mainfrom
dont-allow-dev-twice

Conversation

@mxcl

@mxcl mxcl commented Sep 12, 2023

Copy link
Copy Markdown
Contributor

Fixes #711

@mxcl mxcl force-pushed the dont-allow-dev-twice branch from 2527383 to 8d51598 Compare September 12, 2023 10:54
@mxcl mxcl force-pushed the dont-allow-dev-twice branch from a8ce78a to 067e9d4 Compare September 12, 2023 10:59
@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 98.989% (-0.6%) from 99.553% when pulling fa4273d on dont-allow-dev-twice into 136ab36 on main.

@mxcl mxcl merged commit 3cd048e into main Sep 12, 2023
@mxcl mxcl deleted the dont-allow-dev-twice branch September 12, 2023 11:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Multiple dev calls create nested environments?

2 participants