Add EWD998ChanTrace.tla spec to CI.

Signed-off-by: Markus Alexander Kuppe <[email protected]>

Author: lemmy

.ciignore

@@ -4,4 +4,3 @@
 # Note that directory names are case-sensitive
 # Example:
 specifications/doesnotexist
-

manifest.json

@@ -3143,6 +3143,23 @@
           "tlaLanguageVersion": 2,
           "features": [],
           "models": []
+        },
+        {
+          "path": "specifications/ewd998/EWD998ChanTrace.tla",
+          "communityDependencies": ["VectorClocks", "IOUtils"],
+          "tlaLanguageVersion": 2,
+          "features": [],
+          "models": [
+            {
+              "path": "specifications/ewd998/EWD998ChanTrace.cfg",
+              "runtime": "00:00:01",
+              "size": "small",
+              "mode": "exhaustive search",
+              "config": [],
+              "features": ["alias", "view"],
+              "result": "unknown"
+            }
+          ]
         }
       ]
     },