Issues

• The GitHub action installs two Rust toolchains

  bug
  model-checking/kani-github-action#27 · Filter by author zhassan-aws opened on Feb 15, 2023

• Improve README.md

  model-checking/kani-github-action#14 · Filter by author celinval opened on Nov 7, 2022

• Publish a stable release channel which tracks the latest stable release

  model-checking/kani-github-action#12 · Filter by author danielsn opened on Nov 4, 2022
  1

• Tracking issue for improving test coverage of the action

  model-checking/kani-github-action#5 · Filter by author danielsn opened on Oct 27, 2022
  1