Skip to content

add history cleanliness workflow#48

Merged
simone-viozzi merged 1 commit intomainfrom
chore/add-history-cleaness
Nov 16, 2025
Merged

add history cleanliness workflow#48
simone-viozzi merged 1 commit intomainfrom
chore/add-history-cleaness

Conversation

@simone-viozzi
Copy link
Copy Markdown
Owner

No description provided.

@simone-viozzi simone-viozzi merged commit a57d5ae into main Nov 16, 2025
1 check passed
@simone-viozzi simone-viozzi deleted the chore/add-history-cleaness branch November 16, 2025 18:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant