5702e83df5
weird doc trickery
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
2024-02-14 16:55:50 +01:00
e9e5c999ec
better documentation
Rust/sat-rs/pipeline/head Build queued...
2024-02-12 18:10:33 +01:00
eef6f42d3b
prepare MIB release v0.1.0
Rust/sat-rs/pipeline/head Build queued...
2024-02-12 16:23:00 +01:00
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
4e16790092
prepare MIB release
Rust/sat-rs/pipeline/head There was a failure building this commit
2024-02-12 13:16:11 +01:00
bd6e1637e4
the check finally works again
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
2023-12-13 15:49:26 +01:00
b13e9b59ac
bump mib versions
Rust/sat-rs/pipeline/head Build started...
2023-09-26 23:02:30 +02:00
d20e205c32
small fix
Rust/sat-rs/pipeline/pr-main This commit looks good
2023-09-26 18:14:07 +02:00
777630c499
bump mib dependencies
Rust/sat-rs/pipeline/head There was a failure building this commit
2023-09-26 18:07:41 +02:00
41145f89aa
ci-check
Rust/sat-rs/pipeline/head Build started...
2023-09-26 17:35:30 +02:00
9bec69291b
re-point MIB dependency to satrs-core
Rust/sat-rs/pipeline/pr-main Build started...
2023-09-26 17:31:48 +02:00
9ccb6bb000
stupid circ deps
Rust/sat-rs/pipeline/pr-main There was a failure building this commit
2023-09-18 18:55:30 +02:00
a351cc255f
fix some warnings
Rust/sat-rs/pipeline/head Build started...
2023-08-28 23:47:04 +02:00
2e512ee895
maybe this fixes CI?
Rust/sat-rs/pipeline/head This commit looks good
2023-08-28 23:34:14 +02:00
2e3b142519
prep mib release
Rust/sat-rs/pipeline/head There was a failure building this commit
2023-08-28 23:30:22 +02:00
6960830fd9
need the mib release..
Rust/sat-rs/pipeline/head There was a failure building this commit
2023-08-28 23:23:52 +02:00
d2e896fc92
more cleaning and restructuring
2023-07-05 11:25:23 +02:00
46c47a3a0f
Merge branch 'large-update' of https://egit.irs.uni-stuttgart.de/rust/sat-rs into large-update
2023-07-03 00:43:56 +02:00
148fc29b95
update syn to v2.0, large update
2023-07-03 00:42:20 +02:00
def176bed8
large update
2023-07-02 20:49:45 +02:00
6a488f77db
run cargo fmt
2022-11-27 22:32:10 +01:00
fd59f25fea
this structure is a lot better
2022-11-27 22:30:38 +01:00
489686c8ce
trying to internalize mib codegen
2022-11-27 22:13:15 +01:00
