Removed old workflows ad refactored a little #31

Closed
nicolabelluti wants to merge 5 commits from master into master
nicolabelluti commented 2025-02-10 16:38:05 +08:00 (Migrated from github.com)

Removed pre133 workflows as they are dead code, and pre137 workflows as they are no different than post 1.3.7 workflows

Removed `pre133` workflows as they are dead code, and `pre137` workflows as they are no different than post 1.3.7 workflows

Pull request closed

Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: 3344/rdgen#31