license-check: pin re-use version

Version 4 (released yesterday) seems to be broken. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 4, 2024 · a34afdc · a34afdc
1 parent 35d57c6
commit a34afdc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/license-check/steps.sh b/license-check/steps.sh
@@ -10,7 +10,7 @@ echo "::group::Setting up"
 install-python.sh
 
 echo "Installing reuse tool"
-pip3 install -q reuse
+pip3 install -q reuse==3.0.2
 
 checkout.sh
 echo "::endgroup::"