Skip to content

Remove Setup tmate session action#1130

Merged
kilemensi merged 1 commit intomainfrom
kilemensi-patch-1
Oct 15, 2025
Merged

Remove Setup tmate session action#1130
kilemensi merged 1 commit intomainfrom
kilemensi-patch-1

Conversation

@kilemensi
Copy link
Member

Description

The intention was good but it feels like none is using the session anyway.

Type of change

  • Chore (non-breaking change which does not add visible functionality but improves code quality)

Screenshots

N/A

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation

@kilemensi kilemensi self-assigned this Oct 15, 2025
@kilemensi kilemensi added chore github_actions Pull requests that update Github_actions code labels Oct 15, 2025
@kilemensi kilemensi merged commit d118a05 into main Oct 15, 2025
4 of 5 checks passed
@kilemensi kilemensi deleted the kilemensi-patch-1 branch October 15, 2025 11:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore github_actions Pull requests that update Github_actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant