From f82567fda41a9f2180f7e9e13f39476b84655dea Mon Sep 17 00:00:00 2001
From: Andrew Poelstra <apoelstra@wpsoftware.net>
Date: Tue, 20 Feb 2024 14:39:45 +0000
Subject: [PATCH] ci: rename a couple .yml files to indicate that they're
 scheduled

A small attempt to organize the various github workflows
---
 .github/workflows/{kani.yml => cron-daily-kani.yml}        | 0
 .github/workflows/{rustfmt.yml => cron-weekly-rustfmt.yml} | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{kani.yml => cron-daily-kani.yml} (100%)
 rename .github/workflows/{rustfmt.yml => cron-weekly-rustfmt.yml} (100%)

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