Arnaud Bailly
Arnaud Bailly
@scarmuega Can we get a green light and have this merged?
Removing Javascript support in 4.0.0
The usual approach to avoid breaking deployment is to add automated testing. It would be interesting to understand what is meant by > Staging environment was broken many times in...
That's my point: What exactly what messed up? How were things unusable? While obviously there are things which are not automatable, we can go quite far into automatically checking usability...
But I agree the initial question still stands: Why go faster :) ?
Note we've had good success rendering literate markdown Agda code in the Peras project: https://peras.cardano-scaling.org/agda_html/Peras.SmallStep.html My CSS is pretty lame so I did not put much efforts but it would...
Plus the HTML has hyperlinks so one can jump around to definitions of things very easily
I see there's a `5.0.0_pre` version on crates.io, which is already great! Any plans to release final version in the near future?
My bad, I read the first message and then skimmed over the rest.
Unfortunately the Antithesis reports are still not public, but I could walk you through it if you want and perhaps investigate a bit more what happened. I don't think the...