add path prefix

Yubico · Dec 15, 2023 · 1cd4b34 · 1cd4b34
1 parent 66ea6a4
commit 1cd4b34
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/.github/actions/publish-spotbugs-reports/dist/index.js b/.github/actions/publish-spotbugs-reports/dist/index.js
@@ -35366,7 +35366,13 @@ function bugAnnotation(moduleDirName, bug) {
     const message = `${bug.LongMessage}\n\nSummary:\n...`
     const rawDetails = bug.LongMessage
     const path =
-      moduleDirName + '/src/main/java/' + bug.Method.SourceLine['@_sourcepath']
+      'tree/' +
+      context.sha +
+      '/' +
+      moduleDirName +
+      '/src/main/java/' +
+      bug.Method.SourceLine['@_sourcepath']
+
     return {
       title: title,
       message: message,

diff --git a/.github/actions/publish-spotbugs-reports/index.js b/.github/actions/publish-spotbugs-reports/index.js
@@ -12,7 +12,13 @@ function bugAnnotation(moduleDirName, bug) {
     const message = `${bug.LongMessage}\n\nSummary:\n...`
     const rawDetails = bug.LongMessage
     const path =
-      moduleDirName + '/src/main/java/' + bug.Method.SourceLine['@_sourcepath']
+      'tree/' +
+      context.sha +
+      '/' +
+      moduleDirName +
+      '/src/main/java/' +
+      bug.Method.SourceLine['@_sourcepath']
+
     return {
       title: title,
       message: message,