Closed markuspf closed 6 years ago
Merging #53 into master will increase coverage by
3.35%
. The diff coverage is87.67%
.
@@ Coverage Diff @@
## master #53 +/- ##
==========================================
+ Coverage 57.23% 60.58% +3.35%
==========================================
Files 9 9
Lines 795 817 +22
==========================================
+ Hits 455 495 +40
+ Misses 340 322 -18
Impacted Files | Coverage Δ | |
---|---|---|
gap/JupyterKernel.gi | 77.98% <87.67%> (+11.14%) |
:arrow_up: |
gap/JupyterStream.gi | 42.5% <0%> (-2.5%) |
:arrow_down: |
gap/JupyterMsg.gi | 90.24% <0%> (+2.43%) |
:arrow_up: |
This enables interrupting the kernel, and restarting it cleanly.