Code

Exclude Charon from workspace#3580

Code

Merged

zhassan-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:exclude-charonzhassan-aws/kani:exclude-charonCopy head branch name to clipboardOct 12, 2024

+1-13

Commits

Commits on Oct 8, 2024

• Exclude Charon from workspace

  zhassan-aws

  committed
  fe17fdc

Commits on Oct 10, 2024

• Merge branch 'main' into exclude-charon

  zhassan-aws

  authored
  1e03702