[PR #101] [MERGED] coverage using just the default workflow #104

New issue

Closed

opened 2026-03-15 16:10:01 +03:00 by kerem · 0 comments

kerem commented

2026-03-15 16:10:01 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/fortio/dnsping/pull/101
Author: @ldemailly
Created: 7/8/2024
Status: ✅ Merged
Merged: 7/8/2024
Merged by: @ldemailly

Base: main ← Head: ldemailly-patch-1

📝 Commits (1)

e512ea8 coverage using just the default workflow

📊 Changes

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

View changed files

📝 Makefile (+0 -5)

📄 Description

to fix the failure in #100

_{🔄 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/101 **Author:** [@ldemailly](https://github.com/ldemailly) **Created:** 7/8/2024 **Status:** ✅ Merged **Merged:** 7/8/2024 **Merged by:** [@ldemailly](https://github.com/ldemailly) **Base:** `main` ← **Head:** `ldemailly-patch-1` --- ### 📝 Commits (1) - [`e512ea8`](https://github.com/fortio/dnsping/commit/e512ea88c9f166178bb7893fd7b2a15c921f36bd) coverage using just the default workflow ### 📊 Changes **1 file changed** (+0 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `Makefile` (+0 -5) </details> ### 📄 Description to fix the failure in #100 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>