[READ-ONLY] Mirror of https://github.com/thoda-dev/scripts. custom scripts
0

Configure Feed

Select the types of activity you want to include in your feed.

Merge branch 'main' of https://github.com/Jericho1060/scripts

Thomas (Oct 5, 2025, 2:59 PM +0200) 84446976 e11c5898

+33
+12
.devcontainer/devcontainer.json
··· 1 + { 2 + "name": "Java", 3 + "image": "mcr.microsoft.com/devcontainers/java:1-21", 4 + "features": { 5 + "ghcr.io/devcontainers/features/java:1": { 6 + "version": "none", 7 + "installMaven": "true", 8 + "mavenVersion": "3.8.6", 9 + "installGradle": "true" 10 + } 11 + } 12 + }
+21
.github/workflows/junie.yml
··· 1 + name: Junie 2 + run-name: Junie run ${{ inputs.run_id }} 3 + 4 + permissions: 5 + contents: write 6 + 7 + on: 8 + workflow_dispatch: 9 + inputs: 10 + run_id: 11 + description: "id of workflow process" 12 + required: true 13 + workflow_params: 14 + description: "stringified params" 15 + required: true 16 + 17 + jobs: 18 + call-workflow-passing-data: 19 + uses: jetbrains-junie/junie-workflows/.github/workflows/ej-issue.yml@main 20 + with: 21 + workflow_params: ${{ inputs.workflow_params }}