File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 88 schedule :
99 - cron : " 00 7 * * *" # Every day at 07:00
1010
11+ concurrency :
12+ group : ${{ github.workflow }}-${{ github.ref }}
13+ cancel-in-progress : true
14+
1115permissions :
1216 contents : read
1317
Original file line number Diff line number Diff line change @@ -2,11 +2,16 @@ name: AST Java Wrapper CI
22
33on : [ pull_request ]
44
5+ concurrency :
6+ group : ${{ github.workflow }}-${{ github.ref }}
7+ cancel-in-progress : true
8+
59permissions :
610 contents : read
711
812jobs :
913 integration-tests :
14+ name : Integration Tests
1015 permissions :
1116 contents : read
1217 runs-on : cx-public-ubuntu-x64
Original file line number Diff line number Diff line change 77 description : ' Next release tag'
88 required : true
99
10+ concurrency :
11+ group : ${{ github.workflow }}-${{ github.ref }}
12+ cancel-in-progress : false
13+
1014permissions :
1115 contents : read
1216
1317jobs :
1418 tag-creation :
19+ name : Tag Creation
1520 permissions :
1621 contents : write # for Git to git push
1722 runs-on : cx-public-ubuntu-x64
1823 steps :
1924 - name : Checkout
2025 uses : actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1
2126 with :
22- token : ${{ secrets.GITHUB_TOKEN }}
27+ persist-credentials : false
2328 - name : Tag
2429 env :
2530 INPUT_TAG : ${{ github.event.inputs.tag }}
2631 PR_NUMBER : ${{ github.event.pull_request.number }}
2732 PR_TITLE : ${{ github.event.pull_request.title }}
33+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
34+ REPO : ${{ github.repository }}
2835 run : |
2936 echo "$INPUT_TAG"
3037 echo "NEXT_VERSION=$INPUT_TAG" >> $GITHUB_ENV
3138 message="$INPUT_TAG: PR #$PR_NUMBER $PR_TITLE"
3239 git config user.name "${GITHUB_ACTOR}"
3340 git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
41+ git remote set-url origin "https://x-access-token:${GH_TOKEN}@github.com/${REPO}"
3442 git tag -a "$INPUT_TAG" -m "$message"
3543 git push origin "$INPUT_TAG"
Original file line number Diff line number Diff line change 66 # branches:
77 # - main
88
9+ concurrency :
10+ group : ${{ github.workflow }}-${{ github.ref }}
11+ cancel-in-progress : false
12+
913permissions :
1014 contents : read
1115
1216jobs :
1317 delete_tag :
18+ name : Delete Tag
1419 permissions :
15- contents : write
20+ contents : write # for gh release delete to remove tags and releases
1621 runs-on : cx-public-ubuntu-x64
1722 steps :
1823 - name : Delete release and tag
1924 env :
2025 GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
26+ GH_REPO : ${{ github.repository }}
2127 run : |
22- gh release delete "1.0.0-SNAPSHOT" --yes --cleanup-tag --repo ${{ github.repository }} || true
28+ gh release delete "1.0.0-SNAPSHOT" --yes --cleanup-tag --repo "${GH_REPO}" || true
2329
2430 nightly :
2531 needs : delete_tag
Original file line number Diff line number Diff line change 5353 ECHO_LIBRARIES_ACCESS_KEY :
5454 required : true
5555
56+ concurrency :
57+ group : ${{ github.workflow }}-${{ github.ref }}
58+ cancel-in-progress : false
59+
5660permissions :
5761 contents : read
5862
5963jobs :
6064 release :
65+ name : Release
6166 permissions :
62- id-token : write
63- contents : write
67+ id-token : write # for Maven Central publishing via OIDC
68+ contents : write # for git push tag and creating GitHub release
6469 runs-on : cx-public-ubuntu-x64
6570 outputs :
6671 CLI_VERSION : ${{ steps.extract_cli_version.outputs.CLI_VERSION }}
6974 - name : Checkout
7075 uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
7176 with :
72- token : ${{ secrets.GITHUB_TOKEN }}
7377 lfs : true
78+ persist-credentials : false
7479
7580 - name : Download CLI
7681 if : inputs.cliTag
@@ -107,11 +112,14 @@ jobs:
107112 id : set_tag_name
108113 env :
109114 INPUT_TAG : ${{ inputs.tag }}
115+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
116+ REPO : ${{ github.repository }}
110117 run : |
111118 echo "$INPUT_TAG"
112119 echo "RELEASE_VERSION=$INPUT_TAG" >> $GITHUB_ENV
113120 git config user.name "${GITHUB_ACTOR}"
114121 git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
122+ git remote set-url origin "https://x-access-token:${GH_TOKEN}@github.com/${REPO}"
115123 git tag -a "$INPUT_TAG" -m "$INPUT_TAG"
116124 git push origin "$INPUT_TAG"
117125 echo "TAG_NAME=$INPUT_TAG" >> $GITHUB_OUTPUT
Original file line number Diff line number Diff line change @@ -3,11 +3,16 @@ name: Update checkmarx ast cli
33on :
44 workflow_dispatch :
55
6+ concurrency :
7+ group : ${{ github.workflow }}-${{ github.ref }}
8+ cancel-in-progress : false
9+
610permissions :
711 contents : read
812
913jobs :
1014 update_cli :
15+ name : Update CLI
1116 runs-on : cx-public-ubuntu-x64
1217 steps :
1318 - name : Checkout
You can’t perform that action at this time.
0 commit comments