Rename nightly workflows (rust-lang#2111)

Author: celinval

.github/workflows/cbmc-latest.yml

@@ -1,9 +1,15 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
-name: Nightly regressions with latest CBMC
+
+# We use block scalar notation to allow us to add ":" to the workflow name.
+name: >-
+  Nightly: CBMC Latest
+
 on:
   schedule:
     - cron: "0 9 * * *" # Run this every day at 9 AM UTC (4 AM ET/1 AM PT)
+  workflow_dispatch:    # Allow manual dispatching for a custom branch / tag.
+
 
 env:
   RUST_BACKTRACE: 1

.github/workflows/slow-tests.yml

@@ -1,9 +1,14 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
-name: Kani's slow tests
+
+# We use block scalar notation to allow us to add ":" to the workflow name.
+name: >-
+  Nightly: Slow tests
+
 on:
   schedule:
     - cron: "30 5 * * *" # Run this every day at 05:30 UTC
+  workflow_dispatch:     # Allow manual dispatching for a custom branch / tag.
 
 env:
   RUST_BACKTRACE: 1

README.md

@@ -1,5 +1,6 @@
 ![](./kani-logo.png)
-![Regressions with latest CBMC](https://github.com/zhassan-aws/kani/actions/workflows/cbmc-latest.yml/badge.svg)
+![Kani regression](https://github.com/model-checking/kani/actions/workflows/kani.yml/badge.svg)
+![Nightly: CBMC Latest](https://github.com/model-checking/kani/actions/workflows/cbmc-latest.yml/badge.svg)
 
 The Kani Rust Verifier is a bit-precise model checker for Rust.