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

[repl] Always reset runtime before disconnecting #448

Merged

water111 merged 1 commit into open-goal:master from ManDude:d/repl-connect-state-fix

May 11, 2021

Member

ManDude commented May 11, 2021

fixes #447


          [repl] Always reset runtime before disconnecting

7f0cfa5

coveralls commented May 11, 2021

Pull Request Test Coverage Report for Build 830440735

0 of 3 (0.0%) changed or added relevant lines in 1 file are covered.
No unchanged relevant lines lost coverage.
Overall coverage decreased (-0.003%) to 69.161%

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
goalc/compiler/Compiler.cpp	0	3	0.0%

Totals
Change from base Build 830325389:	-0.003%
Covered Lines:	34275
Relevant Lines:	49558

💛 - Coveralls

water111 merged commit 1d72e79 into open-goal:master

ManDude deleted the d/repl-connect-state-fix branch

May 12, 2021 02:21

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

Labels

None yet