Implement docker container for action #4
Description
Currently, we install Kani every time, but this takes bandwidth and can be flaky.
Instead, we should prebuild a docker and use that.
{{ message }}
Currently, we install Kani every time, but this takes bandwidth and can be flaky.
Instead, we should prebuild a docker and use that.