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/resources/schema/deployment.rnc | |
| parent | ce9214f0d111165c6081e9017014957dcc74a771 (diff) | |
More flexibly instance layout
Diffstat (limited to 'config-model/src/main/resources/schema/deployment.rnc')
| -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* } |