#1184: export warnings and errors from azure as github comment

DARMA-tasking · Dec 21, 2020 · 05d6097 · 05d6097
1 parent ba61cef
commit 05d6097
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/.github/workflows/comment-on-pr.yml b/.github/workflows/comment-on-pr.yml
@@ -0,0 +1,16 @@
+name: Comment on PR
+
+on:
+  pull_request
+
+jobs:
+  check:
+    name: Puts a given comment on a given PR
+    runs-on: ubuntu-latest
+    steps:
+      - uses: DARMA-tasking/comment-on-pr@1184-vt-export-warnings-errors-from-azure
+        with:
+          repo_owner: ${{ github.event.pull_request.repo.owner.login }}
+          repo_name: ${{ github.event.pull_request.repo.name }}
+          pr_number: ${{ github.event.pull_request.number }}
+          repo_token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.gitignore b/.gitignore
@@ -40,3 +40,5 @@ CMakeSettings.json
 *.app
 
 .dir-locals.el
+
+.idea/
Original file line number	Diff line number	Diff line change
Expand Up		@@ -40,3 +40,5 @@ CMakeSettings.json
		*.app

		.dir-locals.el

		.idea/