Erik Martin-Dorel
Erik Martin-Dorel
Thanks @proux01! > I don't know what's the status of serapi (it's specifically marked as 8.20+rc1 in extra-dev) but other packages are ready in OPAM repositories. Indeed, a compatible version...
FYI the `coqorg/org:8.20.0` went live yesterday evening, after the merge of https://github.com/coq-community/docker-coq/pull/68
AFAIAC, I only press `q` and it disappears immediately. Maybe this shortcut could just be made more visible? or improving this splash screen so that yet another shortcut is put...
YMMV anyway, and I don't object to merging this
@Matafou Ready to merge this now? Even if Hendrik suggested a possible enhancement > (IMO it would be better to have it 3 or 4 seconds together with a bit...
Hi @hendriktews! (I just quickly skimmed the PR code but) LGTM, thanks. > With the option ..., I believe the risk of breaking a use case of some user is...
Hi @AltGr, thanks a lot for this meticulous work! > Build on OSX fails, but actually at the OCaml compilation stage ; > I have no idea about the state...
> What do you think of just putting `macos-13` here? on second thought: given master already failed this way because of the arm image, I'll push a separate PR with...
Last question: in the end, would you like that we squash-merge your PR ? or keep all the commits in the master's history. **In the latter case,** I'd suggest you...
Dear @AltGr, Best wishes for the new year! > This has been long enough, I think this should be merged even with the failure which is limited to the macos...