Remove IDEA file://$PROJECT_DIR$/ from outputs

tonybaloney · Feb 3, 2020 · 6543ffe · 6543ffe
1 parent 7e477a0
commit 6543ffe
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/actions/parse.py b/.github/actions/parse.py
@@ -4,14 +4,16 @@
 
 def main():
     data = json.load(sys.stdin)
+    cnt = 0
     if 'problems' in data:
         for problem in data['problems']:
-            fn = problem['file'].replace('file:///github/workspace/', '')
+            fn = problem['file'].replace('file://$PROJECT_DIR$/', '')
             line = problem['line']
             col = problem['offset']
             description = problem['description']
-            print("found issue in {0}".format(fn))
             print(f"::warning file={fn},line={line},col={col}::{description}")
+            cnt += 1
+    print("Found {0} issues".format(cnt))
 
 if __name__ == "__main__":
     main()