diff --git a/.github/workflows/kani.yml b/.github/workflows/cron-daily-kani.yml
similarity index 100%
rename from .github/workflows/kani.yml
rename to .github/workflows/cron-daily-kani.yml
diff --git a/.github/workflows/rustfmt.yml b/.github/workflows/cron-weekly-rustfmt.yml
similarity index 100%
rename from .github/workflows/rustfmt.yml
rename to .github/workflows/cron-weekly-rustfmt.yml