Github CI anomaly zoo

[andres-erbsen]

Let's use this issue to track unexpected execution outcomes on Github CI. Feel free to unsubscribe.

Previously: mit-plv/fiat-crypto#1394

First entry: Error: Missing download info for actions/checkout@v4

[andres-erbsen]

The job was not acquired by Runner of type hosted even after multiple attempts

[andres-erbsen]

  Failed to connect to Cachix Daemon
  Tried to connect to: /home/runner/work/_temp/cachixvpBhnj/daemon.sock
  
  cachix: Network.Socket.connect: <socket: 25>: does not exist (No such file or directory)
  HasCallStack backtrace:
    collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:13 in ghc-internal:GHC.Internal.Exception
    toExceptionWithBacktrace, called at libraries/ghc-internal/src/GHC/Internal/IO.hs:260:11 in ghc-internal:GHC.Internal.IO
    throwIO, called at libraries/exceptions/src/Control/Monad/Catch.hs:308:12 in exceptions-0.10.9-426f:Control.Monad.Catch
    throwM, called at src/Control/Exception/Safe.hs:632:47 in safe-exceptions-0.1.7.4-IHKqPDMop54847cTcR31F1:Control.Exception.Safe
    catchesHandler, called at src/Control/Exception/Safe.hs:612:53 in safe-exceptions-0.1.7.4-IHKqPDMop54847cTcR31F1:Control.Exception.Safe
    catches, called at cachix/Main.hs:20:24 in cachix-1.10.1-AlvBWOTqpzwHAP7NNmlgKn-cachix:Main

https://github.com/rocq-prover/stdlib/actions/runs/22140313548/job/64009385710?pr=238
https://github.com/rocq-prover/stdlib/actions/runs/22139695259/job/64009076872

[andres-erbsen]

File "src/rocq_elpi_builtins.ml", line 1738, characters 4-34:
1738 |     coq_print pp Feedback.msg_info
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type
         Elpi.API.Data.term list ->
         depth:int ->
         unit ->
         unit -> Elpi.API.Data.state -> Elpi.API.Data.state * unit * 'a list
       but an expression was expected of type
         Elpi.API.Data.term list ->
         depth:int ->
         unit -> unit -> Elpi.API.Data.state -> Elpi.API.Data.state * unit
       Type Elpi.API.Data.state * unit * 'a list is not compatible with type
         Elpi.API.Data.state * unit 
                                                 
error: Cannot build '/nix/store/gi0n41wkvq428jjrv1z15qpv4v5m6ak4-rocq-core9.1-elpi-dev.drv'.
       Reason: builder failed with exit code 1.
       Output paths:
         /nix/store/4vmydhqwkldiimz26i14xizq4g3s4ala-rocq-core9.1-elpi-dev
       Last 25 log lines:
       >          depth:int ->
       >          unit ->
       >          unit -> Elpi.API.Data.state -> Elpi.API.Data.state * unit * 'a list
       >        but an expression was expected of type
       >          Elpi.API.Data.term list ->
       >          depth:int ->
       >          unit -> unit -> Elpi.API.Data.state -> Elpi.API.Data.state * unit
       >        Type Elpi.API.Data.state * unit * 'a list is not compatible with type
       >          Elpi.API.Data.state * unit

https://github.com/rocq-prover/stdlib/actions/runs/22708033394/job/65839387961?pr=245
#245

[andres-erbsen]

       … while calling the 'fetchTarball' builtin
         at /nix/store/lpci46lwxr326hqii17bgi2mcgs2zy43-source/.nix/nixpkgs.nix:1:1:
            1| fetchTarball {
             | ^
            2|     url = "https://github.com/NixOS/nixpkgs/archive/562fd641c80a7548866eccb07f29003a869dfe2a.tar.gz";

       … while fetching the input 'https://github.com/NixOS/nixpkgs/archive/562fd641c80a7548866eccb07f29003a869dfe2a.tar.gz'

       error: cannot read file from tarball: Truncated tar archive detected while reading data
Error: getting derivation failed

https://github.com/rocq-prover/stdlib/actions/runs/23207710922/job/67453427758?pr=248