rust/sat-rs
rust/sat-rs
5
1
Fork 0
Code Issues 9 Pull Requests Projects Releases 22 Wiki Activity

forgot the shell wrapper
All checks were successful
Rust/sat-rs/pipeline/head This commit looks good
Details
Rust/sat-rs/pipeline/pr-main This commit looks good
Details

Browse Source
This commit is contained in:
Robin Müller 2023-09-21 19:50:13 +02:00
parent d85a684333
commit 81a9584dc4
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

@ -64,7 +64,7 @@ pipeline {
} }
steps { steps {
dir('satrs-book') { dir('satrs-book') {
mdbook build sh 'mdbook build'
sshagent(credentials: ['documentation-buildfix']) { sshagent(credentials: ['documentation-buildfix']) {
// Deploy to Apache webserver // Deploy to Apache webserver
sh 'rsync -r --delete book/ buildfix@documentation.irs.uni-stuttgart.de:/projects/sat-rs' sh 'rsync -r --delete book/ buildfix@documentation.irs.uni-stuttgart.de:/projects/sat-rs'