GitHub repository: runtimeverification/install-kaas
Description: Workflow Action for Installing kaas to GH Runner