Install KaaS

Version updated for runtimeverification/install-kaas to version v0.1.0.

• This action is used across all versions by ? repositories.

Go to the GitHub Marketplace to find the latest changes.

Release notes

Full Changelog: https://github.com/runtimeverification/install-kaas/compare/v0.0.1...v0.1.0

• runtimeverification
• GitHub Actions