Put the time machine in CI

Stephen Paul Weber created 3 months ago

Change summary

.builds/guix.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

Detailed changes

.builds/guix.yml

@@ -22,7 +22,7 @@ tasks:
     [ "$BUILD_REASON" = patchset ] || rm -rf sgx-jmp
 - build: |
     if [ "$BUILD_REASON" = patchset ]; then with_source="--with-source=$PWD/sgx-jmp"; fi
-    guix build $with_source --no-grafts -r out -L. sgx-jmp
+    guix time-machine --commit=3455a004ec78a8c8a579b74da8039fbcd36cea73 -- guix build $with_source --no-grafts -r out -L. sgx-jmp
 - archive: |
     if [ -e signing-key.sec ]; then
       sudo mv signing-key.pub /etc/guix/
@@ -30,5 +30,5 @@ tasks:
       sudo chown root:root /etc/guix/signing-key.sec
       sudo chmod 0400 /etc/guix/signing-key.sec
     fi
-    guix archive --export -r --no-grafts $(readlink -f out) > sgx-jmp.nar
+    guix time-machine --commit=3455a004ec78a8c8a579b74da8039fbcd36cea73 -- guix archive --export -r --no-grafts $(readlink -f out) > sgx-jmp.nar
     plzip sgx-jmp.nar