From 79f2a8bfbf0d8b7e96374b91b991db7df59e5088 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Tue, 23 Dec 2025 07:44:58 -0500 Subject: Omni/Ci: add --rerun flag to bypass already verified check MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Add -r, --rerun option to run CI even when already verified - Allows re-running CI for testing or validation purposes - Fixes "verification failed" error when wanting to rerun CI 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude --- Omni/Ci.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'Omni') diff --git a/Omni/Ci.hs b/Omni/Ci.hs index 4b40de9..bedeab7 100755 --- a/Omni/Ci.hs +++ b/Omni/Ci.hs @@ -34,7 +34,8 @@ Usage: ci [options] Options: - -h, --help Print this info + -r, --rerun Run CI even if already verified + -h, --help Print this info |] test :: Test.Tree @@ -46,7 +47,7 @@ test = ] move :: Cli.Arguments -> IO () -move _ = do +move args = do -- 1. Check for dirty worktree status <- readProcess "git" ["status", "-s"] "" unless (Text.null status) <| do @@ -75,7 +76,8 @@ move _ = do in ("Lint-is: good" `Text.isInfixOf` content) && ("Test-is: good" `Text.isInfixOf` content) _ -> False - when alreadyGood <| do + let isRerun = args `Cli.has` Cli.longOption "rerun" + when (alreadyGood && not isRerun) <| do Log.pass ["ci", "already verified"] Exit.exitSuccess -- cgit v1.2.3