|
|
7af3888f90
|
install curl
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-21 19:29:35 +02:00 |
|
|
|
67fdfb98e5
|
let's try something else
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-21 19:28:02 +02:00 |
|
|
|
822023fc8a
|
this is stupid
Rust/sat-rs/pipeline/pr-main This commit looks good
|
2023-09-21 19:24:17 +02:00 |
|
|
|
86f2c2acec
|
what is this shit
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-21 19:21:44 +02:00 |
|
|
|
97a7c994b8
|
why does the cargo usage mess up everything?
Rust/sat-rs/pipeline/pr-main This commit looks good
|
2023-09-21 19:20:48 +02:00 |
|
|
|
0b0d7a44c3
|
let's try this
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-21 19:14:25 +02:00 |
|
|
|
0d0cc98dfe
|
is it the ssh client
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-21 19:13:49 +02:00 |
|
|
|
5cf943f9e4
|
just what is the issue?
Rust/sat-rs/pipeline/pr-main This commit looks good
|
2023-09-21 18:48:48 +02:00 |
|
|
|
fb86e6dfc0
|
this should work..
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-21 18:35:20 +02:00 |
|
|
|
4fedcc47c2
|
need this argument as well
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-21 18:27:54 +02:00 |
|
|
|
6579c6d864
|
some improvements
Rust/sat-rs/pipeline/head Build started...
|
2023-09-21 18:26:33 +02:00 |
|
|
|
eb6a94980a
|
this should allow automatic book deployment
Rust/sat-rs/pipeline/head There was a failure building this commit
|
2023-09-21 18:24:37 +02:00 |
|
|
|
35e1f7a983
|
jenkinsfile improvements
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
|
2023-09-18 18:40:50 +02:00 |
|
|
|
0c242559f6
|
only check no_std for satrs-core
Rust/sat-rs/pipeline/head Build queued...
|
2023-07-12 14:06:47 +02:00 |
|
|
|
c4cd384f73
|
add jenkins CI files
Rust/sat-rs/pipeline/head There was a failure building this commit
Rust/sat-rs/pipeline/pr-main Build started...
|
2023-07-11 23:00:12 +02:00 |
|
