What this PR does / why we need it: kind-setup regressed due to updates to kind version and missing dynamic lib. Fixed the lib dependency, but need to update Mizar forward which is non-trivial. So using a compatible kind version for now.
Which issue(s) this PR fixes:
Fixes #
Special notes for your reviewer: Tested by creating kind-cluster and kubeadm 2-node setup.
What type of PR is this?
What this PR does / why we need it: kind-setup regressed due to updates to kind version and missing dynamic lib. Fixed the lib dependency, but need to update Mizar forward which is non-trivial. So using a compatible kind version for now.
Which issue(s) this PR fixes:
Fixes #
Special notes for your reviewer: Tested by creating kind-cluster and kubeadm 2-node setup.
Does this PR introduce a user-facing change?: