rust/spacepackets
5
1
Fork 0
Code Issues Pull Requests Projects Releases 27 Wiki Activity

that's odd..
Some checks failed
Rust/spacepackets/pipeline/pr-main This commit looks good
Details
Rust/spacepackets/pipeline/head There was a failure building this commit
Details

Browse Source
This commit is contained in:
Robin Müller 2023-12-01 16:35:46 +01:00
parent 490b05e612
commit c7e98a964a
Signed by: muellerr
GPG Key ID: A649FB78196E3849
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
automation/Jenkinsfile vendored
View File

@ -69,7 +69,7 @@ pipeline {
sh 'grcov . -s . --binary-path ./target/debug -t html --branch --ignore-not-existing -o ./target/debug/coverage/'
sshagent(credentials: ['documentation-buildfix']) {
// Deploy to Apache webserver
sh 'rsync -r --delete ./target/debug/coverage/ buildfix@documentation.irs.uni-stuttgart.de:/projects/spacepackets-rs/coverage/latest'
sh 'rsync -r --delete ./target/debug/coverage/ buildfix@absatsw.irs.uni-stuttgart.de:/projects/spacepackets-rs/coverage/latest'
}
}
}