Skip to content

Remove dependent issues workflow#807

Merged
ArnyminerZ merged 1 commit into
mainfrom
remove-dependent-issues
Feb 12, 2026
Merged

Remove dependent issues workflow#807
ArnyminerZ merged 1 commit into
mainfrom
remove-dependent-issues

Conversation

@ArnyminerZ
Copy link
Copy Markdown
Member

Purpose

Github has extended their features, so I don't think this is necessary anymore.

Also this doesn't work on private repos, so it's a bit problematic, and runs fail every once in a while.

Short description

Removes the dependent issues workflow.

Checklist

  • The PR has a proper title, description and label.
  • I have self-reviewed the PR.
  • I have added documentation to complex functions and functions that can be used by other modules.
  • I have added reasonable tests or consciously decided to not add tests.

Signed-off-by: Arnau Mora <arnyminerz@proton.me>
@ArnyminerZ ArnyminerZ self-assigned this Feb 12, 2026
@ArnyminerZ ArnyminerZ added the github_actions Pull requests that update GitHub Actions code label Feb 12, 2026
@ArnyminerZ ArnyminerZ marked this pull request as ready for review February 12, 2026 09:19
@ArnyminerZ ArnyminerZ requested a review from sunkup February 12, 2026 09:20
@ArnyminerZ ArnyminerZ merged commit 537f835 into main Feb 12, 2026
5 checks passed
@ArnyminerZ ArnyminerZ deleted the remove-dependent-issues branch February 12, 2026 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants