Merge branch 'develop' of gitlab.inria.fr:apere/orchestra into develop
Showing
- liborchestra/src/lib/hosts/mod.rs 11 additions, 6 deletionsliborchestra/src/lib/hosts/mod.rs
- liborchestra/src/lib/scheduler.rs 37 additions, 25 deletionsliborchestra/src/lib/scheduler.rs
- runaway-cli/src/main.rs 2 additions, 1 deletionrunaway-cli/src/main.rs
- runaway-cli/src/misc.rs 5 additions, 3 deletionsrunaway-cli/src/misc.rs
- runaway-cli/src/subcommands/batch.rs 1 addition, 1 deletionrunaway-cli/src/subcommands/batch.rs
- runaway-cli/src/subcommands/exec.rs 10 additions, 1 deletionrunaway-cli/src/subcommands/exec.rs
- runaway-cli/src/subcommands/sched.rs 31 additions, 21 deletionsrunaway-cli/src/subcommands/sched.rs
Loading
Please register or sign in to comment