From d8354b8f1b2bbb6d911070ca9822c7e4fbd88bca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sat, 8 Nov 2025 19:50:57 +0100 Subject: Options to select rerun behavior Changelog: Added `--rerun-*` command-line options to configure which jobs should be rerun --- src/Job/Types.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Job/Types.hs') diff --git a/src/Job/Types.hs b/src/Job/Types.hs index ad575a1..a0c1d47 100644 --- a/src/Job/Types.hs +++ b/src/Job/Types.hs @@ -57,6 +57,7 @@ data ArtifactName = ArtifactName Text data JobSet' d = JobSet { jobsetId :: JobSetId' d , jobsetCommit :: Maybe Commit + , jobsetExplicitlyRequested :: [ JobId' d ] , jobsetJobsEither :: Either String [ Job' d ] } -- cgit v1.2.3