1

私の Jenkinsfile では、 publishHTML を使用してPITのレポートを公開しています。私のステップは次のとおりです

stage('Results') {
  publishHTML([allowMissing: false, alwaysLinkToLastBuild: false,
     keepAll: false, reportDir: 'target/pit-reports/*/', reportFiles: 'index.html', reportName: 'PIT Report'])
}

index.html のディレクトリはこんな感じ\target\pit-reports\201612081633です。その最後の部分201612081633はもちろん毎回異なります。Windows マシンで使用target/pit-reports/*/すると、次のエラーが発生します。

ERROR: Specified HTML directory 'D:\David\Tools\Jenkins\workspace\jenkinsSandbox\target\pit-reports\*' does not exist.

ワイルドカード*or**は機能しません。jenkinsfile のディレクトリ名にワイルドカードを使用するにはどうすればよいですか? Windows または UNIX でこれを行う場合に違いはありますか?

4

1 に答える 1

1

*publishHTML プラグインがorを処理できないように見えるため、回避策を使用してこれを解決しました**。-DtimestampedReports=false org.pitest:pitest-maven:mutationCoverageタイムスタンプ付きのフォルダーを無効にする を使用して、pitest を実行します。結果ステップは次のようになります。

stage('Results') {
publishHTML([allowMissing: false,
             alwaysLinkToLastBuild: true,
             keepAll: true,
             reportDir: 'target/pit-reports',
             reportFiles: 'index.html',
             reportName: 'PIT Report'
             ])

}

興味のある方は、私の Jenkinsfile の完全版を私のgithub repoで見つけることができます。

于 2017-01-11T12:14:12.903 に答える