File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1+ name : Build
2+ on :
3+ push :
4+ branches :
5+ - 10.x
6+ pull_request :
7+ types : [opened, synchronize, reopened]
8+ merge_group :
9+ types : [checks_requested]
10+
11+ permissions :
12+ id-token : write
13+ contents : write
14+
15+ concurrency :
16+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
17+ cancel-in-progress : true
18+
19+ jobs :
20+ build :
21+ name : Build
22+ runs-on : github-ubuntu-latest-s
23+ timeout-minutes : 60
24+ steps :
25+ - name : Check out repository code
26+ uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
27+ with :
28+ fetch-depth : 0
29+
30+ - name : Setup JDK 11
31+ uses : actions/setup-java@7a6d8a8234af8eb26422e24e3006232cccaa061b # v4.6.0
32+ with :
33+ java-version : ' 11'
34+ distribution : ' temurin'
35+ cache : maven
36+
37+ - name : Build with Maven
38+ run : mvn clean package
Original file line number Diff line number Diff line change 1+ name : PR Cleanup
2+ on :
3+ pull_request :
4+ types : [closed]
5+
6+ permissions :
7+ id-token : write
8+
9+ jobs :
10+ cleanup :
11+ name : Cleanup
12+ runs-on : ubuntu-latest
13+ steps :
14+ - name : Cleanup PR resources
15+ uses : SonarSource/pr_cleanup@v1
You can’t perform that action at this time.
0 commit comments