chore: Use RELEASE version for jbang instead of LATEST (#5716)

INRIA · Apr 3, 2024 · 144d7d7 · 144d7d7
1 parent e6c8087
commit 144d7d7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/chore/CheckJavadoc.java b/chore/CheckJavadoc.java
@@ -1,6 +1,6 @@
 ///usr/bin/env jbang "$0" "$@" ; exit $?
-//DEPS fr.inria.gforge.spoon:spoon-core:LATEST
-//DEPS fr.inria.gforge.spoon:spoon-javadoc:LATEST
+//DEPS fr.inria.gforge.spoon:spoon-core:RELEASE
+//DEPS fr.inria.gforge.spoon:spoon-javadoc:RELEASE
 //DEPS org.slf4j:slf4j-nop:1.7.36
 //JAVA 17+
 

diff --git a/chore/check-javadoc-regressions.py b/chore/check-javadoc-regressions.py
@@ -86,6 +86,7 @@ def run_quality_check(config_path: Path, target_branch: Optional[str] = None) ->
 
     return run_command([
         "jbang",
+        "--verbose",
         str(check_path)
     ])