upload devkim results so github can report on what it found.

2022-06-03 16:42:30 -07:00 · 2022-06-03 16:42:30 -07:00 · e0412bd2d5
--- a/.github/workflows/devskim.yml
+++ b/.github/workflows/devskim.yml
@ -26,3 +26,8 @@ jobs:
      with:
        should-scan-archives: false
        output-filename: devskim-results.sarif
+
+    - name: Upload scanning results
+      uses: github/codeql-action/upload-sarif@v1
+      with:
+        sarif_file: devskim-results.sarif
--- a/devices/notebooks/gallery_performance.ipynb
+++ b/devices/notebooks/gallery_performance.ipynb