fix to relsourcepath

Yubico · Dec 15, 2023 · e666e1e · e666e1e
1 parent 9b38a3e
commit e666e1e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/actions/publish-spotbugs-reports/dist/index.js b/.github/actions/publish-spotbugs-reports/dist/index.js
@@ -35355,6 +35355,9 @@ function bugAnnotation(bug) {
     const title = bug['@_bad_practice']
     const message = bug.ShortMessage
     const rawDetails = bug.LongMessage
+    const path = bug.Method.SourceLine.hasOwn('@_relSourcePath')
+      ? bug.Method.SourceLine['@_relSourcepath']
+      : 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
@@ -9,6 +9,9 @@ function bugAnnotation(bug) {
     const title = bug['@_bad_practice']
     const message = bug.ShortMessage
     const rawDetails = bug.LongMessage
+    const path = bug.Method.SourceLine.hasOwn('@_relSourcePath')
+      ? bug.Method.SourceLine['@_relSourcepath']
+      : bug.Method.SourceLine['@_sourcepath']
     return {
       title: title,
       message: message,