Skip to content

Commit

Permalink
Use new workflows with CI profile.
Browse files Browse the repository at this point in the history
  • Loading branch information
uhafner committed May 10, 2024
1 parent 8edec11 commit efec2c5
Show file tree
Hide file tree
Showing 3 changed files with 80 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/cd.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,4 +26,4 @@ jobs:
env:
DOCKER_IO_USERNAME: ${{ secrets.DOCKER_IO_USERNAME }}
DOCKER_IO_PASSWORD: ${{ secrets.DOCKER_IO_PASSWORD }}
run: mvn -ntp clean install
run: mvn -ntp clean install -Pci
2 changes: 1 addition & 1 deletion .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ jobs:
queries: +security-and-quality

- name: Build with Maven
run: mvn -V --color always -ntp clean verify --file pom.xml -Pskip
run: mvn -V --color always -ntp clean verify -Pskip

- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v3
Expand Down
78 changes: 78 additions & 0 deletions .github/workflows/update-badges.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,84 @@ jobs:
uses: uhafner/quality-monitor@v1
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
config: >
{
"tests": {
"tools": [
{
"id": "test",
"name": "Tests",
"pattern": "**/target/*-reports/TEST*.xml"
}
],
"name": "Tests"
},
"analysis": [
{
"name": "Style",
"id": "style",
"tools": [
{
"id": "checkstyle",
"pattern": "**/target/checkstyle-*/checkstyle-result.xml"
},
{
"id": "pmd",
"pattern": "**/target/pmd-*/pmd.xml"
}
]
},
{
"name": "Bugs",
"id": "bugs",
"icon": "bug",
"tools": [
{
"id": "spotbugs",
"sourcePath": "src/main/java",
"pattern": "**/target/spotbugsXml.xml"
},
{
"id": "error-prone",
"pattern": "**/maven.log"
}
]
}
],
"coverage": [
{
"name": "Code Coverage",
"tools": [
{
"id": "jacoco",
"name": "Line Coverage",
"metric": "line",
"sourcePath": "src/main/java",
"pattern": "**/target/site/jacoco/jacoco.xml"
},
{
"id": "jacoco",
"name": "Branch Coverage",
"metric": "branch",
"sourcePath": "src/main/java",
"pattern": "**/target/site/jacoco/jacoco.xml"
}
]
},
{
"name": "Mutation Coverage",
"tools": [
{
"id": "pit",
"name": "Mutation Coverage",
"metric": "mutation",
"sourcePath": "src/main/java",
"pattern": "**/target/pit-reports/mutations.xml"
}
]
}
]
}
- name: Write metrics to GitHub output
id: metrics
run: |
Expand Down

0 comments on commit efec2c5

Please sign in to comment.