From 52cc71936b31e6d319f7b72aba3a7189720a1d14 Mon Sep 17 00:00:00 2001
From: FabrizioSandri <dev.fabriziosandri@gmail.com>
Date: Wed, 14 Sep 2022 09:57:08 +0200
Subject: [PATCH] RcppDeepState CI Setup

---
 .github/workflows/RcppDeepState.yaml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/workflows/RcppDeepState.yaml

diff --git a/.github/workflows/RcppDeepState.yaml b/.github/workflows/RcppDeepState.yaml
new file mode 100644
index 000000000..ba152e2a0
--- /dev/null
+++ b/.github/workflows/RcppDeepState.yaml
@@ -0,0 +1,25 @@
+on:
+  pull_request:
+    branches:
+      - '*'
+
+name: 'RcppDeepState analysis'
+jobs:
+  RcppDeepState:
+    runs-on: ubuntu-latest
+
+    env:
+      GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
+
+    steps: 
+      - uses: actions/checkout@v2
+
+      - uses: FabrizioSandri/RcppDeepState-action@main
+        with:
+          fail_ci_if_error: true
+          location: /
+          seed: -1
+          max_seconds_per_function: 2
+          max_inputs: 3
+          comment: true
+          verbose: true