Revert "chore: publish RC4 (#206)"

arnoweiss · jimmarino · commit fee40e53581f · 2025-07-03T08:37:40.000+02:00
This reverts commit dd3f178.
diff --git a/.github/scripts/index.html b/.github/scripts/index.html
@@ -3,12 +3,12 @@
 <head>
     <meta charset="utf-8">
     <meta http-equiv="refresh"
-          content="0;url=https://eclipse-dataspace-protocol-base.github.io/DataspaceProtocol/2025-1-RC4"/>
-    <link rel="canonical" href="https://eclipse-dataspace-protocol-base.github.io/DataspaceProtocol/2025-1-RC4"/>
+          content="0;url=https://eclipse-dataspace-protocol-base.github.io/DataspaceProtocol/2025-1-RC3"/>
+    <link rel="canonical" href="https://eclipse-dataspace-protocol-base.github.io/DataspaceProtocol/2025-1-RC3"/>
 </head>
 <body>
 <h4>
-    This redirects to the latest Release Candidate <a href="https://eclipse-dataspace-protocol-base.github.io/DataspaceProtocol/2025-1-RC4">here</a>
+    This redirects to the latest Release Candidate <a href="https://eclipse-dataspace-protocol-base.github.io/DataspaceProtocol/2025-1-RC3">here</a>
 </h4>
 </body>
 </html>
diff --git a/WEBSITE.md b/WEBSITE.md
@@ -63,5 +63,4 @@ You should now see an additional endpoint at `https://eclipse-dataspace-dcp.gith
 
 #### Github Release
 
-Create a Github Release by adding a bit of context, autogenerating the releasenotes. For RCs, it's customary to include
-a permalink to the rendered respec webpage.
+Create a Github Release by adding a bit of context, autogenerating the releasenotes. For RCs, it's customary to 
diff --git a/artifacts/buildSrc/src/main/java/org/eclipse/dsp/generation/transformer/HtmlTableTransformer.java b/artifacts/buildSrc/src/main/java/org/eclipse/dsp/generation/transformer/HtmlTableTransformer.java
@@ -106,7 +106,7 @@ private String parseResolvedTypes(SchemaProperty property) {
         var itemTypes = resolvedProperty.getItemTypes().stream()
                 .flatMap(t -> t.getResolvedTypes().stream())
                 .map(e -> {
-                    if (e.isJsonBaseType() || getTypeName(e).startsWith("array")) {
+                    if (e.isJsonBaseType()) {
                         return String.format("%s", getTypeName(e));
                     }
                     return String.format("<a href=#%s-table>%s</a>", getTypeName(e), getTypeName(e));
diff --git a/index.html b/index.html
@@ -3,6 +3,7 @@
 <head>
     <meta charset='utf-8'>
     <script src='https://www.w3.org/Tools/respec/respec-w3c' async class='remove'></script>
+    <script class="remove" src="https://cdn.jsdelivr.net/gh/w3c/respec-mermaid@1.1.0/dist/main.js"></script>
     <script class='remove'>
         var respecConfig = {
             specStatus: "unofficial",
@@ -60,13 +61,13 @@
             maxTocLevel: 3,
         };
     </script>
-    <title>Dataspace Protocol Release 2025-1-RC5</title>
+    <title>Dataspace Protocol Release 2025-1-RC4</title>
 </head>
 <body>
 <p class="copyright">
     This document is licensed under <a href="https://www.apache.org/licenses/LICENSE-2.0.html">The Apache License, Version 2.0</a>.
 </p>
-<h1 id="title">Dataspace Protocol 2025-1-RC5</h1>
+<h1 id="title">Dataspace Protocol 2025-1-RC4</h1>
 <section id='abstract'>
     <p>
         The Dataspace Protocol is a specification designed to facilitate interoperable data sharing between
diff --git a/specifications/common/type.definitions.md b/specifications/common/type.definitions.md
@@ -1,5 +1,8 @@
 # Lower Level Type Definitions
 
+<p data-include="message/table/action.html" data-include-format="html">
+</p>
+
 <p data-include="message/table/agreement.html" data-include-format="html">
 </p>
 
@@ -30,11 +33,5 @@
 <p data-include="message/table/offer.html" data-include-format="html">
 </p>
 
-<p data-include="message/table/permission.html" data-include-format="html">
-</p>
-
-<p data-include="message/table/prohibition.html" data-include-format="html">
-</p>
-
 <p data-include="message/table/rule.html" data-include-format="html">
 </p>

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,7 @@ private String parseResolvedTypes(SchemaProperty property) {`
`106`	`106`	`var itemTypes = resolvedProperty.getItemTypes().stream()`
`107`	`107`	`.flatMap(t -> t.getResolvedTypes().stream())`
`108`	`108`	`.map(e -> {`
`109`		`- if (e.isJsonBaseType() \|\| getTypeName(e).startsWith("array")) {`
	`109`	`+ if (e.isJsonBaseType()) {`
`110`	`110`	`return String.format("%s", getTypeName(e));`
`111`	`111`	`}`
`112`	`112`	`return String.format("<a href=#%s-table>%s</a>", getTypeName(e), getTypeName(e));`