diff options
author | jonmv <venstad@gmail.com> | 2022-06-12 16:59:07 +0200 |
---|---|---|
committer | jonmv <venstad@gmail.com> | 2022-06-12 16:59:07 +0200 |
commit | 83f2d1028db73f14a87147257169daef9f1dd5be (patch) | |
tree | eb1f13dd37e3132549da6ec230ac9955e7b8cabc /config-model/src/main | |
parent | ce9214f0d111165c6081e9017014957dcc74a771 (diff) |
More flexibly instance layout
Diffstat (limited to 'config-model/src/main')
-rw-r--r-- | config-model/src/main/resources/schema/deployment.rnc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config-model/src/main/resources/schema/deployment.rnc b/config-model/src/main/resources/schema/deployment.rnc index 3abced8e04a..251134c91e8 100644 --- a/config-model/src/main/resources/schema/deployment.rnc +++ b/config-model/src/main/resources/schema/deployment.rnc @@ -49,6 +49,12 @@ SerialSteps = element steps { } ParallelInstances = element parallel { + SerialInstances* & + Instance* +} + +SerialInstances = element steps { + ParallelInstances* & Instance* } |