diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml
index b35174dbe39e..c116ed1115be 100644
--- a/.github/workflows/cbmc-latest.yml
+++ b/.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
diff --git a/.github/workflows/slow-tests.yml b/.github/workflows/slow-tests.yml
index 846a8c6c5e83..dc96b0fd699d 100644
--- a/.github/workflows/slow-tests.yml
+++ b/.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
diff --git a/README.md b/README.md
index 9d496f04e193..883dd00ec82c 100644
--- a/README.md
+++ b/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.