mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-19 13:27:35 +02:00
Merge e3bab43329 into merged_master (Bitcoin PR bitcoin/bitcoin#25099)
This commit is contained in:
commit
7ae6a9bb4b
1 changed files with 1 additions and 1 deletions
|
|
@ -51,7 +51,7 @@ fi
|
|||
time-machine() {
|
||||
# shellcheck disable=SC2086
|
||||
guix time-machine --url=https://git.savannah.gnu.org/git/guix.git \
|
||||
--commit=34e9eae68c9583acce5abc4100add3d88932a5ae \
|
||||
--commit=998eda3067c7d21e0d9bb3310d2f5a14b8f1c681 \
|
||||
--cores="$JOBS" \
|
||||
--keep-failed \
|
||||
--fallback \
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue