disabling binary cache 'https://cuda-maintainers.cachix.org' for 60 seconds
warning: unable to download 'https://cuda-maintainers.cachix.org/nix-cache-info': HTTP error 401

         response body:

         Binary cache cuda-maintainers doesn't exist or you're not authorized to access it. Check the name for typos and/or provide an auth token. Contact support on https://cachix.org if you're stuck.
these 2 derivations will be built:
  /nix/store/9ylrxln9srcqh6zgrcshvjc53v2wrf4c-aeneas-linux-x86_64.tar.gz.drv
  /nix/store/c6bb66x7v16fzhmyvk1x9q6h11f4m5cm-aeneas-toolchain-marker.drv
these 19 paths will be fetched (6.9 MiB download, 19.9 MiB unpacked):
  /nix/store/sihkj5n2clcwp0xak1ny2zlwbnr9ll9d-curl-8.22.0
  /nix/store/wfp6pwbfbx6i4i91f2cslyi52l0lyxjg-curl-8.22.0-bin
  /nix/store/gfz8rpcd61fw2lc08wsh3p6zkl00mgv1-curl-8.22.0-dev
  /nix/store/f9rvx8k8i9v6ks7f6s4qzkn6wxj1n35w-curl-8.22.0-man
  /nix/store/pk03s7pvpzgfhvlk4z9yz69yzn2l8iw9-keyutils-1.6.3-lib
  /nix/store/h532sni7byvancbp77r3blhjj14b7khd-krb5-1.22.2
  /nix/store/8yjpimn4kvpwzr7lj3l97k9iib1qwxfh-krb5-1.22.2-dev
  /nix/store/k88w5gs8n850cwm9agc0bna4awxsddzp-krb5-1.22.2-lib
  /nix/store/3ggn8ircmlw3sb9hdfg3xralqc7isywd-libssh2-1.11.1
  /nix/store/cwpnwphsymvh4dlmydryndlar0ci8mp0-libssh2-1.11.1-dev
  /nix/store/qswi8ndbpc0p1bpvj4kijfr5i79l9g46-mirrors-list
  /nix/store/mgnj8wmxlj77kzgnlgpb52yg171gf1kp-nghttp2-1.70.0
  /nix/store/6zyyljmsm2f5cpp13x386ajqdfsprsig-nghttp2-1.70.0-dev
  /nix/store/6y8dlv5k1ma6r8cb9m5iwpx72hd3lizc-nghttp2-1.70.0-lib
  /nix/store/sbbghw4j32smy8hfbvvcbqvbafi6d66i-openssl-3.6.4
  /nix/store/ld12llamdxx5m5gi40jipihxshnypz6g-openssl-3.6.4-bin
  /nix/store/zh4ns9db9vnq3gi42k0rgpr6sc7l12a5-openssl-3.6.4-dev
  /nix/store/k0jg46fv3kwkn14pq3wzryan72rki8yp-zlib-1.3.2-dev
  /nix/store/4q3lydn0anq5qyzpxm5xyxnxqxn5nj7c-zlib-1.3.2-static
building '/nix/store/9ylrxln9srcqh6zgrcshvjc53v2wrf4c-aeneas-linux-x86_64.tar.gz.drv'
aeneas-linux-x86_64.tar.gz> structuredAttrs is enabled
aeneas-linux-x86_64.tar.gz> 
aeneas-linux-x86_64.tar.gz> trying https://github.com/AeneasVerif/aeneas/releases/download/nightly-2026.07.31-3a8586f/aeneas-linux-x86_64.tar.gz
aeneas-linux-x86_64.tar.gz>   % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
aeneas-linux-x86_64.tar.gz>                                  Dload  Upload  Total   Spent   Left   Speed
aeneas-linux-x86_64.tar.gz> 
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz> 
aeneas-linux-x86_64.tar.gz>   0      0   0      0   0      0      0      0                              0
aeneas-linux-x86_64.tar.gz>  16 117.9M  16 20.00M   0      0 15.58M      0   00:07   00:01   00:06 19.77M
aeneas-linux-x86_64.tar.gz>  25 117.9M  25 30.09M   0      0 13.14M      0   00:08   00:02   00:06 14.91M
aeneas-linux-x86_64.tar.gz>  34 117.9M  34 40.35M   0      0 12.26M      0   00:09   00:03   00:06 13.37M
aeneas-linux-x86_64.tar.gz>  43 117.9M  43 51.09M   0      0 11.91M      0   00:09   00:04   00:05 12.71M
aeneas-linux-x86_64.tar.gz>  59 117.9M  59 70.07M   0      0 13.24M      0   00:08   00:05   00:03 13.96M
aeneas-linux-x86_64.tar.gz>  76 117.9M  76 90.10M   0      0 14.18M      0   00:08   00:06   00:02 13.83M
aeneas-linux-x86_64.tar.gz>  93 117.9M  93 110.0M   0      0 14.86M      0   00:07   00:07         15.63M
aeneas-linux-x86_64.tar.gz> 100 117.9M 100 117.9M   0      0 14.91M      0   00:07   00:07         15.63M
aeneas-linux-x86_64.tar.gz> 100 117.9M 100 117.9M   0      0 14.91M      0   00:07   00:07         15.63M
aeneas-linux-x86_64.tar.gz> 100 117.9M 100 117.9M   0      0 14.91M      0   00:07   00:07         15.63M
building '/nix/store/c6bb66x7v16fzhmyvk1x9q6h11f4m5cm-aeneas-toolchain-marker.drv'

post-build step Upload to niks3: ok
time=2026-09-12T01:46:12.047Z level=INFO msg="Uploading 0 paths to niks3.scientistexperience.net (1 already cached)"
time=2026-09-12T01:46:12.698Z level=INFO msg="Uploading 1 narinfos"
time=2026-09-12T01:46:13.491Z level=INFO msg="Upload complete. (1.922s)"