GitHub repository: koka-community/setup-koka
Primary language: Shell
Created: 2025-07-04T02:55:06Z
Description: A github action workflow to setup the koka compiler and koka community repos