koka-community/Setup Koka
Setup Koka Environment (on Linux, macOS for now)
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Activelast commit May 11, 2026
- License
- MIT
Pinned Snippet
uses: koka-community/setup-koka@2a7f6c91d467f761b3c94d14d4fa4ecba8ee49ac # no releases — HEAD as of 2026-07-11tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| packages | Packages to install, space-separated list of package names | no | std |
| koka_repository | Koka repository (defaults to koka-lang/koka) | no | koka-lang/koka |
| koka_version | Koka version (ignored if koka_ref is set) | no | 3.2.2 |
| koka_ref | Koka ref (development version) | no | "" |
| run_tests | Run tests after setup | no | false |
Outputs
no outputs