diff options
| author | Hugo van der Wijst <hvanderwijst@tesla.com> | 2019-01-15 22:42:50 -0800 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-16 00:22:22 +0100 |
| commit | 2f89688ca974944781878a74873801597c0b1f11 (patch) | |
| tree | e837ee30f5ccdfaa62c83791fd4544f6f861b2f3 /.gitignore | |
| parent | fdba26525c4a190d0275dd3b5f3a154fa189a799 (diff) | |
Make builds reproducible
This is done by using `BTreeMap`s and `BTreeSet`s to get deterministic
ordering.
Also updated the CI job to check reproducibility of all examples.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions