[PR #135] [MERGED] Update Makefile to include coverage #138

New issue

Closed

opened 2026-03-15 16:11:55 +03:00 by kerem · 0 comments

kerem commented

2026-03-15 16:11:55 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/fortio/dnsping/pull/135
Author: @krkeshav
Created: 7/27/2025
Status: ✅ Merged
Merged: 7/27/2025
Merged by: @ldemailly

Base: main ← Head: gh_coverage_fix

📝 Commits (1)

b276c0b Update Makefile to include coverage

📊 Changes

1 file changed (+3 additions, -0 deletions)

View changed files

📝 Makefile (+3 -0)

📄 Description

Seems coverage action was missing in Makefile which was not covering test coverage

Fixes #134

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/fortio/dnsping/pull/135 **Author:** [@krkeshav](https://github.com/krkeshav) **Created:** 7/27/2025 **Status:** ✅ Merged **Merged:** 7/27/2025 **Merged by:** [@ldemailly](https://github.com/ldemailly) **Base:** `main` ← **Head:** `gh_coverage_fix` --- ### 📝 Commits (1) - [`b276c0b`](https://github.com/fortio/dnsping/commit/b276c0b0065e1d78afe5be0078b18d112daf4c52) Update Makefile to include coverage ### 📊 Changes **1 file changed** (+3 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `Makefile` (+3 -0) </details> ### 📄 Description Seems coverage action was missing in Makefile which was not covering test coverage Fixes #134 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>