From b3ba314ba705e1d22cfc737bd6b59d817d3be138 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 10 Apr 2022 16:31:45 +0200
Subject: [PATCH] CI: Add reprotest

---
 .github/workflows/ci.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0948b512..3d9498f8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,3 +85,17 @@ jobs:
       run: ${{ matrix.build_env }} make
     - name: make check
       run: ${{ matrix.check_env }} make check
+
+  reprotest:
+
+    runs-on: ubuntu-latest
+    name: Build with reprotest
+
+    steps:
+      - uses: actions/checkout@v2
+      - name: dependencies
+        run: sudo apt-get update && sudo apt-get install libpcaudio-dev libsonic-dev ronn kramdown reprotest
+      - name: autoconf
+        run: ./autogen.sh ; chmod -x INSTALL m4/*.m4
+      - name: run
+        run: reprotest "./configure && make clean && make && make check && touch success" success