diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-10-30 10:20:29 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-11-01 19:01:09 +0100 |
commit | fddeb158b550a938358ee8251741514b362c68b6 (patch) | |
tree | c4dfe6f1500dd3ad159c3f45b7e975e5d5b03dd4 /crates/driver/src/main.rs | |
parent | 7a0bf8027b93e7e3f4e6887c0d116f471629cacd (diff) | |
download | rebel-fddeb158b550a938358ee8251741514b362c68b6.tar rebel-fddeb158b550a938358ee8251741514b362c68b6.zip |
runner: allow passing a map of pins with a task submission
Pins allow to use fixed versions of dependencies. They are stored
separately from regular dependency archives.
Diffstat (limited to 'crates/driver/src/main.rs')
0 files changed, 0 insertions, 0 deletions