From a0e4dd4ef553675ac0e4e7e1fbb298fb11ec9cf3 Mon Sep 17 00:00:00 2001
From: FabrizioSandri <dev.fabriziosandri@gmail.com>
Date: Mon, 29 Aug 2022 20:43:25 +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 0000000..e5cd4fa
--- /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'