Intrepid/prometeu-runtime
Intrepid/prometeu-runtime
3
0
Fork 0
Code Pull Requests Activity

improve jenkins #11

Merged
bquarkz merged 2 commits from dev/improve-jenkins into master 2026-04-08 08:24:16 +00:00
Conversation 0 Commits 2 Files Changed 2 +9 -3
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 1769f56bcb - Show all commits

2
Makefile
View File

@ -19,7 +19,7 @@ clean:
cargo llvm-cov clean --workspace
coverage:
cargo llvm-cov --workspace --all-features --html --output-dir target/llvm-cov/html
cargo llvm-cov --workspace --all-features --html --output-dir target/llvm-cov
coverage-xml:
cargo llvm-cov report --cobertura --output-path target/llvm-cov/cobertura.xml

10
files/config/Jenkinsfile vendored
View File

@ -12,7 +12,7 @@ pipeline {
stages {
stage('Build') {
steps {
withChecks(name: 'Test', includeStage: true) {
script {
sh '''
set -eux
make ci cobertura
@ -50,6 +50,12 @@ pipeline {
echo "Coverage gate passed."
'''
}
// withChecks(name: 'Test', includeStage: true) {
// sh '''
// set -eux
// make ci cobertura
// '''
// recordCoverage(
// tools: [[parser: 'COBERTURA', pattern: 'target/llvm-cov/cobertura.xml']],
// sourceCodeRetention: 'LAST_BUILD',
@ -65,7 +71,7 @@ pipeline {
// [metric: 'BRANCH', baseline: 'PROJECT', threshold: 0.0]
// ]
// )
}
// }
}
} // Test