Install Kontrol

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

• runtimeverification
• GitHub Actions