Kani Action Check

Workflow runs for Kani Action Check

• Fix Kani version parsing in install script

  completed successfully:
  Kani Action Check#162:Pull request#58synchronizebyfeliperodri
  PhysShell:fix/kani-version-parsing

  Sep 20, 202643s
  More actions for workflow run 162

• Retire the experimental PropProof integration

  failed:
  Kani Action Check#161:Pull request#59openedbyfeliperodri
  chore/retire-propproof

  Sep 20, 202651s
  More actions for workflow run 161

• Fix Kani version parsing in install script

  failed:
  Kani Action Check#160:Pull request#58synchronizebyfeliperodri
  PhysShell:fix/kani-version-parsing

  Sep 20, 202651s
  More actions for workflow run 160

• Fix Kani version parsing in install script

  failed:
  Kani Action Check#159:Pull request#58synchronizebyfeliperodri
  PhysShell:fix/kani-version-parsing

  Sep 20, 202643s
  More actions for workflow run 159

• Fix Kani version parsing in install script

  failed:
  Kani Action Check#158:Pull request#58openedbyPhysShell
  PhysShell:fix/kani-version-parsing

  Sep 18, 202629s
  More actions for workflow run 158