Version updated for runtimeverification/install-kaas to version v0.2.1. This action is used across all versions by ? repositories. Go to the GitHub Marketplace to find the latest changes. Release notes Updating installation method to using python package manager utilization with the action. KaaS introduced versioning.

Version updated for runtimeverification/install-kontrol to version v1.0.2. This action is used across all versions by 2 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes Important new option to allow for avoiding rate limiting while installing kontrol or other RV related sub components that utilize nix and nix-flakes which grab directly from Github using the API. Installation can occur without providing this token however in a CI env where it’s regularly reused to install, it is recommended to use the token

Version updated for runtimeverification/install-kontrol to version v1.0.1. This action is used across all versions by 1 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes What’s Changed Use dev mode on run-kontrol.sh by @F-WRunTime in https://github.com/runtimeverification/install-kontrol/pull/2 Full Changelog: https://github.com/runtimeverification/install-kontrol/compare/v1.0.0...1.0.1 Full Changelog: https://github.com/runtimeverification/install-kontrol/compare/1.0.1...v1.0.1

Version updated for runtimeverification/install-kontrol to version v1.0.0. This action is used across all versions by ? repositories. Go to the GitHub Marketplace to find the latest changes. Release notes What’s Changed PR For Test PR Checks Workflow by @F-WRunTime in https://github.com/runtimeverification/install-kontrol/pull/1 New Contributors @F-WRunTime made their first contribution in https://github.com/runtimeverification/install-kontrol/pull/1 Full Changelog: https://github.com/runtimeverification/install-kontrol/commits/v1.0.0

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