Anil Madhavapeddy
Anil Madhavapeddy
@MSoegtropIMC wrote: > I just say that in the main Coq Platform CI we should have tests which are as close as possible to what users experience and this means...
Understood. If you already have a hand-crafted setup that works, there's certainly no need to disturb it.
Another thing to bear in mind is that these guidelines are not set in stone. If there is some corner case that greatly simplifies ocamlformat (or just a genuine departure...
This goes wrong in a fun way on the staging site... :-) https://staging.ocaml.org/releases/4.12/api/index.html https://user-images.githubusercontent.com/53164/114734509-2fc57380-9d3c-11eb-812b-e552f94b0c77.mov
I'm just turning this into a draft PR until the issue above is fixed (it helps me sort the outstanding PRs). Feel free to mark it ready for review when...
@Ndipbanyan I think the problem is that the font size of the dropdown appears to change as you move the mouse in the videos. That's unexpected... it should be a...
This is almost mergeable, but not quite; the font size of the help text is significantly smaller than the ones below it in the main text, and so hard to...
I can't seem to see the fix on https://staging.ocaml.org/docs/cheat_sheets.html -- I still have whitespace below the footer.
Ah, I see a different problem now too. With Safari, it looks like the margin pushes the footer further down so that scrolling is required.
I did remove the changes from staging, since it's difficult to keep changes that aren't mergeable (since they affect other changes also pushed there). I've just pushed this back to...