mirror of https://github.com/bastion-rs/bastion
Reorg PR
This commit is contained in:
parent
7219d1f732
commit
18c589a168
|
@ -29,7 +29,7 @@ jobs:
|
|||
cargo miri setup
|
||||
cargo clean
|
||||
# Do some Bastion shake
|
||||
cd bastion && \
|
||||
cd src/bastion && \
|
||||
cargo miri test -- -Zmiri-disable-isolation -- dispatcher && \
|
||||
cargo miri test -- -Zmiri-disable-isolation -- path && \
|
||||
cargo miri test -- -Zmiri-disable-isolation -- broadcast && \
|
||||
|
|
|
@ -1,9 +1,9 @@
|
|||
[workspace]
|
||||
members = [
|
||||
"bastion",
|
||||
"bastion-executor",
|
||||
"bastion-utils",
|
||||
"lightproc"
|
||||
"src/bastion",
|
||||
"src/bastion-executor",
|
||||
"src/bastion-utils",
|
||||
"src/lightproc"
|
||||
]
|
||||
|
||||
[profile.bench]
|
||||
|
|
Loading…
Reference in New Issue