Code

Add Kani to CI.#798

Code

Merged

LucioFranco merged 2 commits intotokio-rs:mastertokio-rs/prost:masterfrom YoshikiTakashima:kani-integrationYoshikiTakashima/prost:kani-integrationCopy head branch name to clipboardJan 17, 2023

+21

Commits

Commits on Jan 13, 2023

• Added Kani to CI. (#1)

  Show description for e73facc
  

  YoshikiTakashima

  and

  Yoshiki Takashima

  authored
  e73facc

  Copy full SHA for e73facc

• Merge branch 'master' into kani-integration

  YoshikiTakashima

  authored
  2a137fc

  Copy full SHA for 2a137fc