de4e6183b3
Re-structure sat-rs
...
Rust/sat-rs/pipeline/pr-main This commit looks good
- Add new shared subcrate satrs-shared to split off some shared
components not expected to change very often.
- Renmame `satrs-core` to `satrs`. It is expected that sat-rs will remain
the primary crate, so the core information is superfluous, and core also
implies stability, which will not be the case for some time.
2024-02-12 15:51:37 +01:00
66d9da23b3
come on.. show it
Rust/sat-rs/pipeline/head Build started...
2024-02-09 00:43:20 +01:00
094a9f0956
remove those trailing slashes
Rust/sat-rs/pipeline/head This commit looks good
2023-12-11 15:12:50 +01:00
81a9584dc4
forgot the shell wrapper
Rust/sat-rs/pipeline/head This commit looks good
Rust/sat-rs/pipeline/pr-main This commit looks good
2023-09-21 19:50:13 +02:00
d85a684333
need those semi-colons
Rust/sat-rs/pipeline/pr-main This commit looks good
Rust/sat-rs/pipeline/head There was a failure building this commit
2023-09-21 19:40:53 +02:00
cd3e213b1e
let's try this
Rust/sat-rs/pipeline/pr-main This commit looks good
Rust/sat-rs/pipeline/head There was a failure building this commit
2023-09-21 19:39:03 +02:00
01b55a1df1
that should work
Rust/sat-rs/pipeline/pr-main This commit looks good
2023-09-21 19:35:29 +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
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