From b4bd2b3419e82f0e45a043fe61ef357160393709 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Mon, 7 Apr 2025 12:49:07 -0400 Subject: [PATCH] fix release schedule in docs --- docs/src/getting-started.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/getting-started.md b/docs/src/getting-started.md index 1acfd039ce97..dbf626dc793d 100644 --- a/docs/src/getting-started.md +++ b/docs/src/getting-started.md @@ -20,7 +20,7 @@ We also publish updates on Kani use cases and features on our [blog](https://mod There is support for a fair amount of Rust language features, but not all (e.g., concurrency). Please see [Limitations](./limitations.md) for a detailed list of supported features. -Kani releases every two weeks. +Kani releases every month. As part of every release, Kani will synchronize with a recent nightly release of Rust, and so is generally up-to-date with the latest Rust language features. If you encounter issues when using Kani, we encourage you to [report them to us](https://github.com/model-checking/kani/issues/new/choose).