Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[ci] Pin Kani to last known-good version (#930)
* [ci] Pin Kani to last known-good version Makes progress on #929 * Update ci.yml
- Loading branch information