From 44abda544eb7753b989cb7a9ecef1d71fcd1836a Mon Sep 17 00:00:00 2001
From: Gertjan van den Burg <gertjanvandenburg@gmail.com>
Date: Tue, 26 Jan 2021 18:36:28 +0000
Subject: Add result check via git

---
 .github/workflows/build.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.github')

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f07ab8be..1d5eb0c9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -34,6 +34,10 @@ jobs:
         run: make results
         shell: bash
 
+      - name: Check results
+        run: git checkout ./analysis/output/rankplots/*.pdf && git diff --exit-code
+        shell: bash
+
   #  tcpdbench-docker:
   #    name: Check TCPDBench (docker)
   #    runs-on: ubuntu-latest
-- 
cgit v1.2.3