mirror of
https://github.com/hickory-dns/hickory-dns.git
synced 2026-04-25 11:15:54 +03:00
[PR #2378] [MERGED] ci: trigger workflows for merge queue branches #2995
Labels
No labels
blocked
breaking-change
bug
bug:critical
bug:tests
cleanup
compliance
compliance
compliance
crate:all
crate:client
crate:native-tls
crate:proto
crate:recursor
crate:resolver
crate:resolver
crate:rustls
crate:server
crate:util
dependencies
docs
duplicate
easy
easy
enhance
enhance
enhance
feature:dns-over-https
feature:dns-over-quic
feature:dns-over-tls
feature:dnsssec
feature:global_lb
feature:mdns
feature:tsig
features:edns
has workaround
ops
perf
platform:WASM
platform:android
platform:fuchsia
platform:linux
platform:macos
platform:windows
pull-request
question
test
tools
tools
trust
unclear
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/hickory-dns#2995
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/hickory-dns/hickory-dns/pull/2378
Author: @djc
Created: 8/23/2024
Status: ✅ Merged
Merged: 8/23/2024
Merged by: @djc
Base:
main← Head:merge-groups📝 Commits (1)
92d873aci: trigger workflows for merge queue branches📊 Changes
2 files changed (+2 additions, -0 deletions)
View changed files
📝
.github/workflows/conformance.yml(+1 -0)📝
.github/workflows/test.yml(+1 -0)📄 Description
https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions
Preparation for enabling the merge queue, as suggested in https://github.com/hickory-dns/hickory-dns/pull/2376#issue-2482769533.
cc @japaric
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.