Closed dalcde closed 2 years ago
Huh that looks like the same one. I would have sworn I fixed it.
Oh it's with a differential instead of an extension or something like that.
There's probably a few more of these but I fixed this particular failure in b0d8814548dfc8909b970aa7c2b49a9fd9a427a2.
https://github.com/SpectralSequences/sseq/runs/5964435372