Nix CI job broken

Stream: lean4 dev

[Joachim Breitner]

I just saw

 [00:30 (00.003705)] disabling binary cache 'https://lean4.cachix.org' for 60 seconds
[00:30 (00.000707)] error: unable to download 'https://lean4.cachix.org/7ggjzwfcwd70qsh6xlw25q4v3ff9039m.narinfo': HTTP error 502 ('')
[00:30 (00.000127)] querying info about '/nix/store/76kay8abwvvk8y0w3lsazb4l4sajxm2y-Lean.Elab.MacroRules' on 'file:///home/runner/work/lean4/lean4/nix-store-cache-copy'...
[00:30 (00.000062)] querying info about '/nix/store/76kay8abwvvk8y0w3lsazb4l4sajxm2y-Lean.Elab.MacroRules' on 'https://cache.nixos.org'...
[00:30 (00.000048)] downloading 'https://cache.nixos.org/76kay8abwvvk8y0w3lsazb4l4sajxm2y.narinfo'...
[00:30 (00.012778)] querying info about '/nix/store/7rxhq0w0q47j6nr50bg7sdqxzw3pycf4-Lean.Compiler.LCNF' on 'file:///home/runner/work/lean4/lean4/nix-store-cache-copy'...
[00:30 (00.000188)] querying info about '/nix/store/7rxhq0w0q47j6nr50bg7sdqxzw3pycf4-Lean.Compiler.LCNF' on 'https://cache.nixos.org'...
[00:30 (00.000059)] downloading 'https://cache.nixos.org/7rxhq0w0q47j6nr50bg7sdqxzw3pycf4.narinfo'...
[00:30 (00.015779)] querying info about '/nix/store/1wqij1kkj7g8vhnl02m6wrxf8pb41y2i-Lean.Data.Rat' on 'file:///home/runner/work/lean4/lean4/nix-store-cache-copy'...
[00:30 (00.000210)] querying info about '/nix/store/p0fprww5988hv3mvhak36wq0ry781rm7-Lean.Server.Rpc.Deriving' on 'file:///home/runner/work/lean4/lean4/nix-store-cache-copy'...
[00:30 (00.000066)] querying info about '/nix/store/p0fprww5988hv3mvhak36wq0ry781rm7-Lean.Server.Rpc.Deriving' on 'https://cache.nixos.org'...
[00:30 (00.000047)] downloading 'https://cache.nixos.org/p0fprww5988hv3mvhak36wq0ry781rm7.narinfo'...
[00:30 (00.002162)] querying info about '/nix/store/pcyj5l3d0hjg3qman9brmpp6z8qj9h28-Lean.Elab.GenInjective' on 'https://lean4.cachix.org'...
[00:30 (00.241007)] error: unexpected end-of-file

scroll by and then abort (in https://github.com/leanprover/lean4/actions/runs/6538862086/job/17755690172). This makes CI turn red … maybe a (hopefully temporary) problem with the lean4 cachix cache, @Sebastian Ullrich ?

[Sebastian Ullrich]

Looks like it was a one-off failure