updated SmartAPI registry information so that CI is now using TRAPI 1…

….5 rather than 1.4
webyrd · Apr 17, 2024 · 06e20f5 · 06e20f5
1 parent d1d9a6e
commit 06e20f5
Show file tree

Hide file tree

Showing 2 changed files with 921 additions and 6 deletions.
diff --git a/medikanren2/neo/neo-open-api/mediKanrenSmartAPI_1_4.json b/medikanren2/neo/neo-open-api/mediKanrenSmartAPI_1_4.json
@@ -51,12 +51,6 @@
       "url": "https://medikanren-trapi.test.transltr.io",
       "x-location": "ITRB",
       "x-maturity": "testing"
-    },
-    {
-      "description": "Team Unsecret Agent mediKanren 1.4 CI server",
-      "url": "https://medikanren-trapi.ci.transltr.io",
-      "x-location": "ITRB",
-      "x-maturity": "staging"
     }
   ],
   "externalDocs": {