Skip to content

Conversation

@keram
Copy link
Contributor

@keram keram commented Nov 12, 2025

Why:
Moving to support last 3 major releases will help us improve maintainability by removing need for maintaining backward compatible code.

Example:
#645

Why:
Moving to support last 3 major releases will help us improve maintainability
by removing need for maintaining backward compatible code.

Example:
idris-hackers#645
@jfdm jfdm merged commit b45ddda into idris-hackers:main Nov 12, 2025
4 checks passed
@keram keram deleted the update-github-actions-strategy branch November 14, 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.

2 participants