diff options
author | fanquake <fanquake@gmail.com> | 2020-01-28 16:57:07 +0800 |
---|---|---|
committer | fanquake <fanquake@gmail.com> | 2020-01-28 17:14:50 +0800 |
commit | 3774281327c83023fdd5a1e61bdc3673b21d7c79 (patch) | |
tree | 2e187df8cd7422846a4980855fa636a6d509d549 /src/leveldb/db | |
parent | b89f2d05993701736c84f1e0966814333f9684b3 (diff) | |
parent | 88c83636d5a56bd9551577139786bdd3e74852c2 (diff) |
Merge #17933: guix: Pin Guix using `guix time-machine`
88c83636d5a56bd9551577139786bdd3e74852c2 guix: Update documentation for time-machine (Carl Dong)
e6050884fdabfa6e51e6afce2041d91e60a5adec guix: Pin Guix using `guix time-machine` (Carl Dong)
Pull request description:
An alternative to #16519, pinning our version of Guix and eliminating a `guix pull` and changing the default Guix profile of builders.
I think this method might be superior, as it:
- Eliminates the possibility of future changes to the `guix environment` command line interface breaking our builds
- Eliminates the need to set up a separate channel repo
It is a more general pinning solution than #16519.
-----
The reason why I didn't originally propose this is because `guix time-machine` is a recent addition to Guix, only available since `f675f8dec73d02e319e607559ed2316c299ae8c7`
ACKs for top commit:
fanquake:
ACK 88c83636d5a56bd9551577139786bdd3e74852c2
Tree-SHA512: 85e03b0987ffa86da73e02801e1cd8b7622698d70c4ba4e60561611be1e9717d661c2811a59b3e137b1b8eef2d0ba37c313867d035ebc89c3bd06a23a078064a
Diffstat (limited to 'src/leveldb/db')
0 files changed, 0 insertions, 0 deletions