From 9a4a28a9167a0ac05da855b0d35ff7f209a760e6 Mon Sep 17 00:00:00 2001
From: FabrizioSandri <dev.fabriziosandri@gmail.com>
Date: Mon, 28 Nov 2022 21:22:13 +0100
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..ba152e2
--- /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