Neil Mayhew

A `git bisect` identified cf0faa89 as the origin of this problem. This changed the bounds on `QuickCheck` from `^>=2.14` to `>=2.14`.

The test failure can be exposed by disabling shrinking in `forAllTraceFromInitState`: ```diff --- a/libs/small-steps/testlib/Test/Control/State/Transition/Trace/Generator/QuickCheck.hs +++ b/libs/small-steps/testlib/Test/Control/State/Transition/Trace/Generator/QuickCheck.hs @@ -178,7 +178,7 @@ forAllTraceFromInitState :: forAllTraceFromInitState baseEnv maxTraceLength traceGenEnv genSt0 prop = QuickCheck.forAllShrinkBlind...

This test failure seems to be an outlier. The instance in [the nightly run from 2024-10-24](https://github.com/IntersectMBO/cardano-ledger/actions/runs/11493510240/job/31992053384) is the only occurrence since the earliest date we have logs for (2024-08-01). I...

Reopening to preempt this happening again by adding a discard

Unfortunately, even though it's an open-source [project](https://github.com/IntersectMBO/cardano-ledger), we have our retention time set to 1 day. We use these artifacts solely for the purpose of moving build results from the...

I've put the zip archive [here](https://www.neil.mayhew.name/download/state-8.10.7-ubuntu-latest.zip). The archive can be opened and the contents extracted by every other zip utility I've tried. It was produced by `actions/upload-artifact` which uses the...

My assumption, after looking at the code for a bit, is that it's legitimate for archive creators to insert padding bytes between segments, and that it's difficult for a streaming...

The fact that the "bad signature" appears near the end of the file is consistent with the behaviour I've observed, which is that it takes a while for the `Extract`...

@rmunn Amazing! You've done some excellent detective work there. So is your conclusion that the archive is invalid, because it doesn't indicate Zip64 format correctly? Or that unzip-stream's logic is...

Thanks, @rmunn, for this very comprehensive analysis. Stepping back a bit, I see two things. First, the zip archive format is messy because extending it to support 64 bits was...