File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -5,26 +5,28 @@ members = [
55 " axonos-scheduler" ,
66 " axonos-capability" ,
77 " axonos-time" ,
8+ " axonos-intent" ,
9+ " axonos-kernel-core" ,
810]
911exclude = [
1012 " axonos-spsc/kani-proofs" ,
1113 " axonos-scheduler/kani-proofs" ,
1214 " axonos-capability/kani-proofs" ,
1315 " axonos-time/kani-proofs" ,
16+ " axonos-intent/kani-proofs" ,
17+ " axonos-firmware-stm32f407" ,
1418]
1519
1620[workspace .package ]
17- version = " 0.1.0 "
21+ version = " 0.1.1 "
1822edition = " 2021"
1923rust-version = " 1.75"
2024license = " Apache-2.0 OR MIT"
2125repository = " https://github.com/AxonOS-org/axonos-kernels"
22- authors = [" AxonOS contributors <info @axonos.org>" ]
26+ authors = [" Denis Yermakou <denis @axonos.org>" ]
2327
2428[workspace .lints .clippy ]
2529all = " deny"
26- pedantic = " warn"
27- module_name_repetitions = " allow"
2830missing_errors_doc = " allow"
2931
3032[profile .release ]
You can’t perform that action at this time.
0 commit comments