added the from pr option

TopRichard · Oct 30, 2023 · a4d7857 · a4d7857
1 parent 0f29120
commit a4d7857
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/eessi-2023.06-eb-4.8.2-system.yml b/eessi-2023.06-eb-4.8.2-system.yml
@@ -1,2 +1,4 @@
 easyconfigs:
   - EasyBuild-4.8.2.eb
+      options:
+        from-pr: 19105