@@ -122,7 +122,7 @@ TaskConfig Config
122122
123123
124124[ EventType ( EventType . JobCreated ) ]
125- record EventJobCreated (
125+ sealed record EventJobCreated (
126126 Guid JobId ,
127127 JobConfig Config ,
128128 UserInfo ? UserInfo
@@ -146,7 +146,7 @@ List<JobTaskStopped> TaskInfo
146146
147147
148148[ EventType ( EventType . TaskCreated ) ]
149- record EventTaskCreated (
149+ sealed record EventTaskCreated (
150150 Guid JobId ,
151151 Guid TaskId ,
152152 TaskConfig Config ,
@@ -177,7 +177,7 @@ Guid PingId
177177
178178
179179[ EventType ( EventType . ScalesetCreated ) ]
180- record EventScalesetCreated (
180+ sealed record EventScalesetCreated (
181181 Guid ScalesetId ,
182182 PoolName PoolName ,
183183 string VmSku ,
@@ -187,15 +187,15 @@ record EventScalesetCreated(
187187
188188
189189[ EventType ( EventType . ScalesetFailed ) ]
190- public record EventScalesetFailed (
190+ public sealed record EventScalesetFailed (
191191 Guid ScalesetId ,
192192 PoolName PoolName ,
193193 Error Error
194194) : BaseEvent ( ) ;
195195
196196
197197[ EventType ( EventType . ScalesetDeleted ) ]
198- record EventScalesetDeleted (
198+ sealed record EventScalesetDeleted (
199199 Guid ScalesetId ,
200200 PoolName PoolName
201201
@@ -211,13 +211,13 @@ long size
211211
212212
213213[ EventType ( EventType . PoolDeleted ) ]
214- record EventPoolDeleted (
214+ sealed record EventPoolDeleted (
215215 PoolName PoolName
216216 ) : BaseEvent ( ) ;
217217
218218
219219[ EventType ( EventType . PoolCreated ) ]
220- record EventPoolCreated (
220+ sealed record EventPoolCreated (
221221 PoolName PoolName ,
222222 Os Os ,
223223 Architecture Arch ,
@@ -289,7 +289,7 @@ ScalesetState State
289289) : BaseEvent ( ) ;
290290
291291[ EventType ( EventType . NodeStateUpdated ) ]
292- record EventNodeStateUpdated (
292+ sealed record EventNodeStateUpdated (
293293 Guid MachineId ,
294294 Guid ? ScalesetId ,
295295 PoolName PoolName ,
0 commit comments