Commit Graph

14 Commits

Author SHA1 Message Date
bd6e1637e4
the check finally works again
Some checks failed
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
Some checks are pending
Rust/sat-rs/pipeline/head Build started...
2023-09-26 23:02:30 +02:00
d20e205c32
small fix
All checks were successful
Rust/sat-rs/pipeline/pr-main This commit looks good
2023-09-26 18:14:07 +02:00
777630c499
bump mib dependencies
Some checks failed
Rust/sat-rs/pipeline/head There was a failure building this commit
2023-09-26 18:07:41 +02:00
41145f89aa
ci-check
Some checks are pending
Rust/sat-rs/pipeline/head Build started...
2023-09-26 17:35:30 +02:00
9bec69291b
re-point MIB dependency to satrs-core
Some checks are pending
Rust/sat-rs/pipeline/pr-main Build started...
2023-09-26 17:31:48 +02:00
9ccb6bb000
stupid circ deps
Some checks failed
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
Some checks are pending
Rust/sat-rs/pipeline/head Build started...
2023-08-28 23:47:04 +02:00
2e512ee895
maybe this fixes CI?
All checks were successful
Rust/sat-rs/pipeline/head This commit looks good
2023-08-28 23:34:14 +02:00
6960830fd9
need the mib release..
Some checks failed
Rust/sat-rs/pipeline/head There was a failure building this commit
2023-08-28 23:23:52 +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
489686c8ce
trying to internalize mib codegen 2022-11-27 22:13:15 +01:00