[PR #148] [MERGED] Add token to codecov include #145

Closed
opened 2026-03-15 16:12:28 +03:00 by kerem · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/fortio/dnsping/pull/148
Author: @ldemailly
Created: 10/28/2025
Status: Merged
Merged: 10/28/2025
Merged by: @ldemailly

Base: mainHead: coverage


📝 Commits (1)

  • 305477b Add token to codecov include

📊 Changes

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

View changed files

📝 .github/workflows/include.yml (+2 -0)

📄 Description

No description provided


🔄 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/148 **Author:** [@ldemailly](https://github.com/ldemailly) **Created:** 10/28/2025 **Status:** ✅ Merged **Merged:** 10/28/2025 **Merged by:** [@ldemailly](https://github.com/ldemailly) **Base:** `main` ← **Head:** `coverage` --- ### 📝 Commits (1) - [`305477b`](https://github.com/fortio/dnsping/commit/305477bf02d66833291d1321364d878f623ed60d) Add token to codecov include ### 📊 Changes **1 file changed** (+2 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/include.yml` (+2 -0) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
kerem closed this issue 2026-03-15 16:12:38 +03:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
starred/dnsping#145
No description provided.