view .codecov.yml @ 34130:2ead2e7321c8 v9.1.0028

patch 9.1.0028: win32: Ctrl-D cannot be used to close a pipe Commit: https://github.com/vim/vim/commit/1f13fcc9342e66842bf9847d01e585ea2c2b6b30 Author: GuyBrush <miguel.barro@live.com> Date: Sun Jan 14 20:08:40 2024 +0100 patch 9.1.0028: win32: Ctrl-D cannot be used to close a pipe Problem: win32: Ctrl-D cannot be used to close a pipe Solution: Properly detect Ctrl-D when reading from a pipe (GuyBrush) Enabling Ctrl-D for gvim pipeline input and apply defensive programming on account of PR #12752 so that once PR 12752 is merged, CTRL-D will keep on working closes: #13849 Signed-off-by: GuyBrush <miguel.barro@live.com> Signed-off-by: Christian Brabandt <cb@256bit.org>
author Christian Brabandt <cb@256bit.org>
date Sun, 14 Jan 2024 20:15:02 +0100
parents 0b8312c5dfe0
children
line wrap: on
line source

coverage:
  range: "80...100"
  status:
    project:
      default:
        threshold: 0.05%

comment: false

# Files not run by tests
ignore:
  - "src/dosinst.c"
  - "src/dosinst.h"
  - "src/uninstall.c"