GitHub repository: lightyfly/Actions-OpenWrt-K2P
Primary language: Shell
Description: Use Github Actions to automatically compile Lean's Modified Lede source for K2P