diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-11-05 21:59:45 +0100 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-11-05 21:59:45 +0100 |
commit | bfaaa8b0fac53430af28956c231985c181ef302f (patch) | |
tree | 22126a14e68bce016494ab91c1a70c47db38cd25 /crates/driver/src/task.rs | |
parent | d5c51769b28b801e15dcc6779f3c20ea56e49c81 (diff) | |
download | rebel-bfaaa8b0fac53430af28956c231985c181ef302f.tar rebel-bfaaa8b0fac53430af28956c231985c181ef302f.zip |
driver: introduce task priority field
Override the version-based task priority ordering.
Diffstat (limited to 'crates/driver/src/task.rs')
-rw-r--r-- | crates/driver/src/task.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/driver/src/task.rs b/crates/driver/src/task.rs index 51557ae..df3bc68 100644 --- a/crates/driver/src/task.rs +++ b/crates/driver/src/task.rs @@ -87,6 +87,8 @@ pub struct TaskDef { pub output: HashMap<String, Output>, #[serde(flatten)] pub action: Action, + #[serde(default)] + pub priority: i32, #[serde(skip)] pub arg_match: TaskArgs, } |