Changing pull maven repository to cloudrepo (#3581)

Co-authored-by: devops <[email protected]> Co-authored-by: Dwight Guth <[email protected]>
runtimeverification · Aug 17, 2023 · 15b93d1 · 15b93d1
1 parent 43f8e3a
commit 15b93d1
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 15 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -9,7 +9,6 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-
   version-sync:
     name: 'Version Sync'
     runs-on: ubuntu-20.04

diff --git a/nix/mavenix.lock b/nix/mavenix.lock
@@ -7330,15 +7330,19 @@
       "sha1": "e8848369738c03e40af5507686216f9b8b44b6a3"
     },
     {
-      "path": "org/kframework/dependencies/nailgun-all/0.9.2-SNAPSHOT/nailgun-all-0.9.2-20180116.225224-2.pom",
+      "path": "org/kframework/dependencies/nailgun-all/0.9.2-SNAPSHOT/nailgun-all-0.9.2-20230607.181102-1.pom",
       "sha1": "8df6d953da07969c6ef1c2a4d603d1611f59398b"
     },
     {
-      "path": "org/kframework/dependencies/nailgun-server/0.9.2-SNAPSHOT/nailgun-server-0.9.2-20180116.225235-7.jar",
+      "path": "org/kframework/dependencies/nailgun-server/0.9.2-SNAPSHOT/nailgun-server-0.9.2-20230607.180952-1.jar",
       "sha1": "f8e63a87a62ae13eb86d89e96351c92f2b427a77"
     },
     {
-      "path": "org/kframework/dependencies/nailgun-server/0.9.2-SNAPSHOT/nailgun-server-0.9.2-20180116.225235-7.pom",
+      "path": "org/kframework/dependencies/nailgun-server/0.9.2-SNAPSHOT/nailgun-server-0.9.2-20230607.180952-1.jar",
+      "sha1": "f8e63a87a62ae13eb86d89e96351c92f2b427a77"
+    },
+    {
+      "path": "org/kframework/dependencies/nailgun-server/0.9.2-SNAPSHOT/nailgun-server-0.9.2-20230607.180952-1.pom",
       "sha1": "66ffaa15d6dd45fd5e7e6c1c391b1f89efe2fb9c"
     },
     {
@@ -7354,11 +7358,15 @@
       "sha1": "8b7a03a5612b6e9163ff93a3d62c8f0d106e01bb"
     },
     {
-      "path": "org/kframework/dependencies/ng/1.0.0-k5.0-SNAPSHOT/ng-1.0.0-k5.0-20190403.194813-1-osx.uexe",
+      "path": "org/kframework/dependencies/ng/1.0.0-k5.0-SNAPSHOT/ng-1.0.0-k5.0-20230607.181452-1-osx.uexe",
+      "sha1": "8b9086aefc3fb325e2185030db1a1da73266fd19"
+    },
+    {
+      "path": "org/kframework/dependencies/ng/1.0.0-k5.0-SNAPSHOT/ng-1.0.0-k5.0-20230607.181452-1-osx.uexe",
       "sha1": "8b9086aefc3fb325e2185030db1a1da73266fd19"
     },
     {
-      "path": "org/kframework/dependencies/ng/1.0.0-k5.0-SNAPSHOT/ng-1.0.0-k5.0-20190403.194813-1.pom",
+      "path": "org/kframework/dependencies/ng/1.0.0-k5.0-SNAPSHOT/ng-1.0.0-k5.0-20230607.181452-1.pom",
       "sha1": "e0b9da6ab81c1ba9a08f4898ec0a944c275e2ed6"
     },
     {
@@ -8201,23 +8209,23 @@
       "path": "com/google/code/gson/gson"
     },
     {
-      "content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n  <groupId>org.kframework.dependencies</groupId>\n  <artifactId>nailgun-all</artifactId>\n  <version>0.9.2-SNAPSHOT</version>\n  <versioning>\n    <snapshot>\n      <timestamp>20180116.225224</timestamp>\n      <buildNumber>2</buildNumber>\n    </snapshot>\n    <lastUpdated>20180116225224</lastUpdated>\n    <snapshotVersions>\n      <snapshotVersion>\n        <extension>pom</extension>\n        <value>0.9.2-20180116.225224-2</value>\n        <updated>20180116225224</updated>\n      </snapshotVersion>\n    </snapshotVersions>\n  </versioning>\n</metadata>",
+      "content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n  <groupId>org.kframework.dependencies</groupId>\n  <artifactId>nailgun-all</artifactId>\n  <version>0.9.2-SNAPSHOT</version>\n  <versioning>\n    <snapshot>\n      <timestamp>20230607.181102</timestamp>\n      <buildNumber>1</buildNumber>\n    </snapshot>\n    <lastUpdated>20230607181102</lastUpdated>\n    <snapshotVersions>\n      <snapshotVersion>\n        <extension>pom</extension>\n        <value>0.9.2-20230607.181102-1</value>\n        <updated>20230607181102</updated>\n      </snapshotVersion>\n    </snapshotVersions>\n  </versioning>\n</metadata>",
       "path": "org/kframework/dependencies/nailgun-all/0.9.2-SNAPSHOT"
     },
     {
-      "content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n  <groupId>org.kframework.dependencies</groupId>\n  <artifactId>nailgun-server</artifactId>\n  <version>0.9.2-SNAPSHOT</version>\n  <versioning>\n    <snapshot>\n      <timestamp>20180116.225235</timestamp>\n      <buildNumber>7</buildNumber>\n    </snapshot>\n    <lastUpdated>20180116225235</lastUpdated>\n    <snapshotVersions>\n      <snapshotVersion>\n        <extension>jar</extension>\n        <value>0.9.2-20180116.225235-7</value>\n        <updated>20180116225235</updated>\n      </snapshotVersion>\n      <snapshotVersion>\n        <extension>pom</extension>\n        <value>0.9.2-20180116.225235-7</value>\n        <updated>20180116225235</updated>\n      </snapshotVersion>\n      <snapshotVersion>\n        <classifier>sources</classifier>\n        <extension>jar</extension>\n        <value>0.9.2-20180116.225235-7</value>\n        <updated>20180116225235</updated>\n      </snapshotVersion>\n      <snapshotVersion>\n        <classifier>javadoc</classifier>\n        <extension>jar</extension>\n        <value>0.9.2-20180116.225235-7</value>\n        <updated>20180116225235</updated>\n      </snapshotVersion>\n    </snapshotVersions>\n  </versioning>\n</metadata>",
+      "content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n  <groupId>org.kframework.dependencies</groupId>\n  <artifactId>nailgun-server</artifactId>\n  <version>0.9.2-SNAPSHOT</version>\n  <versioning>\n    <snapshot>\n      <timestamp>20230607.180952</timestamp>\n      <buildNumber>1</buildNumber>\n    </snapshot>\n    <lastUpdated>20230607180952</lastUpdated>\n    <snapshotVersions>\n      <snapshotVersion>\n        <extension>jar</extension>\n        <value>0.9.2-20230607.180952-1</value>\n        <updated>20230607180952</updated>\n      </snapshotVersion>\n      <snapshotVersion>\n        <extension>pom</extension>\n        <value>0.9.2-20230607.180952-1</value>\n        <updated>20230607180952</updated>\n      </snapshotVersion>\n    </snapshotVersions>\n  </versioning>\n</metadata>",
       "path": "org/kframework/dependencies/nailgun-server/0.9.2-SNAPSHOT"
     },
     {
-      "content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n  <groupId>org.kframework.dependencies</groupId>\n  <artifactId>ng</artifactId>\n  <version>1.0.0-k5.0-SNAPSHOT</version>\n  <versioning>\n    <snapshot>\n      <timestamp>20190403.194813</timestamp>\n      <buildNumber>1</buildNumber>\n    </snapshot>\n    <lastUpdated>20190403194813</lastUpdated>\n    <snapshotVersions>\n      <snapshotVersion>\n        <classifier>osx</classifier>\n        <extension>uexe</extension>\n        <value>1.0.0-k5.0-20190403.194813-1</value>\n        <updated>20190403194813</updated>\n      </snapshotVersion>\n      <snapshotVersion>\n        <extension>pom</extension>\n        <value>1.0.0-k5.0-20190403.194813-1</value>\n        <updated>20190403194813</updated>\n      </snapshotVersion>\n    </snapshotVersions>\n  </versioning>\n</metadata>",
+      "content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n  <groupId>org.kframework.dependencies</groupId>\n  <artifactId>ng</artifactId>\n  <version>1.0.0-k5.0-SNAPSHOT</version>\n  <versioning>\n    <snapshot>\n      <timestamp>20230607.181452</timestamp>\n      <buildNumber>1</buildNumber>\n    </snapshot>\n    <lastUpdated>20230607181452</lastUpdated>\n    <snapshotVersions>\n      <snapshotVersion>\n        <extension>pom</extension>\n        <value>1.0.0-k5.0-20230607.181452-1</value>\n        <updated>20230607181452</updated>\n      </snapshotVersion>\n      <snapshotVersion>\n        <classifier>osx</classifier>\n        <extension>uexe</extension>\n        <value>1.0.0-k5.0-20230607.181452-1</value>\n        <updated>20230607181452</updated>\n      </snapshotVersion>\n    </snapshotVersions>\n  </versioning>\n</metadata>",
       "path": "org/kframework/dependencies/ng/1.0.0-k5.0-SNAPSHOT"
     }
   ],
   "name": "parent-1.0-SNAPSHOT",
   "remotes": {
     "central": "https://repo.maven.apache.org/maven2",
-    "runtime.verification": "https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal",
-    "runtime.verification.snapshots": "https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots"
+    "runtime.verification": "https://runtimeverification.mycloudrepo.io/public/repositories/runtimeverification",
+    "runtime.verification.snapshots": "https://runtimeverification.mycloudrepo.io/public/repositories/runtimeverification"
   },
   "submodules": [
     {

diff --git a/pom.xml b/pom.xml
@@ -27,14 +27,14 @@
     <repository>
       <id>runtime.verification</id>
       <name>Runtime Verification Repository</name>
-      <url>https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal</url>
+      <url>https://runtimeverification.mycloudrepo.io/public/repositories/runtimeverification</url>
       <snapshots><enabled>false</enabled></snapshots>
       <releases><enabled>true</enabled></releases>
     </repository>
     <repository>
       <id>runtime.verification.snapshots</id>
       <name>Runtime Verification Snapshot Repository</name>
-      <url>https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots</url>
+      <url>https://runtimeverification.mycloudrepo.io/public/repositories/runtimeverification</url>
       <snapshots><enabled>true</enabled></snapshots>
       <releases><enabled>false</enabled></releases>
     </repository>
@@ -44,14 +44,14 @@
     <pluginRepository>
       <id>runtime.verification</id>
       <name>Runtime Verification Repository</name>
-      <url>https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal</url>
+      <url>https://runtimeverification.mycloudrepo.io/public/repositories/runtimeverification</url>
       <snapshots><enabled>false</enabled></snapshots>
       <releases><enabled>true</enabled></releases>
     </pluginRepository>
     <pluginRepository>
       <id>runtime.verification.snapshots</id>
       <name>Runtime Verification Snapshot Repository</name>
-      <url>https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots</url>
+      <url>https://runtimeverification.mycloudrepo.io/public/repositories/runtimeverification</url>
       <snapshots><enabled>true</enabled></snapshots>
       <releases><enabled>false</enabled></releases>
     </pluginRepository>