Skip to content

Archive SYSTEM level easyconfigs from before 2020-12-19#24945

Merged
jfgrimm merged 3 commits intoeasybuilders:developfrom
Micket:archive_system_20251220
Jan 13, 2026
Merged

Archive SYSTEM level easyconfigs from before 2020-12-19#24945
jfgrimm merged 3 commits intoeasybuilders:developfrom
Micket:archive_system_20251220

Conversation

@Micket
Copy link
Contributor

@Micket Micket commented Dec 20, 2025

I'm going to let the CI check if any of these were in use in newer easyconfigs and move them back as needed

Should merge the toolchain PR first:

@Micket Micket added the change label Dec 20, 2025
@Micket Micket changed the title Archive system 20251220 Archive easyconfigs from before 2020-12-19 Dec 20, 2025
@github-actions github-actions bot added 2021a manual_download Sources require manual download labels Dec 20, 2025
@Micket Micket changed the title Archive easyconfigs from before 2020-12-19 Archive SYSTEM level easyconfigs from before 2020-12-19 Dec 20, 2025
@Micket Micket marked this pull request as ready for review January 9, 2026 17:06
@Micket Micket force-pushed the archive_system_20251220 branch from ed7a924 to ebf3748 Compare January 13, 2026 15:30
@github-actions github-actions bot removed manual_download Sources require manual download 2021a labels Jan 13, 2026
Copy link
Member

@jfgrimm jfgrimm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@jfgrimm jfgrimm added this to the next release (5.2.1?) milestone Jan 13, 2026
@jfgrimm jfgrimm merged commit f10034a into easybuilders:develop Jan 13, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants