Run Kani in CI #9
Description
herkos-runtime verification with kani shall be running in the CI. If possible only if changes were made in the runtime.
{{ message }}
herkos-runtime verification with kani shall be running in the CI. If possible only if changes were made in the runtime.