Merge d623b7d into 239b7d3

JuliaIO · May 5, 2020 · 428bbb9 · 428bbb9
2 parents 239b7d3 + d623b7d
commit 428bbb9
Showing 1 changed file with 31 additions and 0 deletions.
diff --git a/.github/workflows/InvalidationFlagger.yml b/.github/workflows/InvalidationFlagger.yml
@@ -0,0 +1,31 @@
+name: InvalidationFlagger
+
+on:
+  - pull_request
+
+jobs:
+  CompatHelper:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v1.0.0
+      - uses: julia-actions/setup-julia@latest
+        with:
+          version: nightly
+      - name: Install package and precompile
+        run: julia --project -e 'using Pkg;Pkg.instantiate();using VideoIO'
+      - name: Test for invalidations
+        run: julia --project -e 'unsafe_store!(cglobal(:jl_debug_method_invalidation, Cint), 1); using VideoIO' &> ./invalidationdump.log
+      - name: Parse log
+        run: sed -n '/\>\>/p' ./invalidationdump.log > ./invalidated.log
+      - name: Read invalidated.log
+        id: logfile
+        uses: juliangruber/read-file-action@v1
+        with:
+          path: ./invalidated.log
+      - name: comment PR
+        uses: unsplash/comment-on-pr@master
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          msg: "${{ steps.logfile.outputs.content }}"
+          check_for_duplicate_msg: false  # OPTIONAL