add permissions to release

Author: arturopala

.github/workflows/release.yaml

@@ -16,7 +16,11 @@ on:
   # push:
   #   branches: [main]
   #   paths:
-  #     - '*.scala'        
+  #     - '*.scala'    
+  
+permissions:
+  id-token: write # This is required for requesting the JWT
+  contents: write # This is required for actions/checkout
 
 jobs:
   ReleasePackage: