Merge branch 'main' into sam/mapErrorCVC

epfl-lara · Dec 5, 2024 · 2d6a2dc · 2d6a2dc
2 parents a986ec5 + dbc9392
commit 2d6a2dc
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -7,7 +7,6 @@ on:
       - main
 jobs:
   tests:
-    if: github.event.pull_request.draft == false
     runs-on: [self-hosted, linux]
     env:
       JAVA_OPTS_TMP_DIR: ./tmp_java

diff --git a/.larabot.conf b/.larabot.conf
@@ -34,6 +34,7 @@ trusted = [
     "rjraya"
     "mario-bucev"
     "samuelchassot"
+    "mbovel"
 ]
 
 notify {
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,7 +7,6 @@ on: @@
           - main
     jobs:
       tests:
-        if: github.event.pull_request.draft == false
         runs-on: [self-hosted, linux]
         env:
           JAVA_OPTS_TMP_DIR: ./tmp_java
@@ Expand Down @@