Skip to content

ci: Remove redundant default-jdk installation#116

Merged
aggarg merged 2 commits intoFreeRTOS:mainfrom
AhmedIsmail02:remove-default-jdk-installation
Jul 7, 2025
Merged

ci: Remove redundant default-jdk installation#116
aggarg merged 2 commits intoFreeRTOS:mainfrom
AhmedIsmail02:remove-default-jdk-installation

Commits

Commits on Jul 4, 2025