Skip to content

ci: force builder removal#454

Open
tristan-f-r wants to merge 1 commit intomainfrom
tristan-f-r-patch-1
Open

ci: force builder removal#454
tristan-f-r wants to merge 1 commit intomainfrom
tristan-f-r-patch-1

Conversation

@tristan-f-r
Copy link
Collaborator

Else, a uncomfirable confirmation dialog appears.

@tristan-f-r tristan-f-r added infrastructure misc. changes made to SPRAS itself easy PRs which take at most a minute to review with little thinking. labels Dec 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

easy PRs which take at most a minute to review with little thinking. infrastructure misc. changes made to SPRAS itself

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant