Install Kontrol
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