Haochen M. Kotoi-Xie

Results 51 comments of Haochen M. Kotoi-Xie

+1 from here. My fingers' muscles are also trained so thus it is extremely difficult to work with the worksheet without those navigation shortcuts.

i'm having the same problem here. I'm running on OS X 10.10.5, GNU Emacs 24.5.6, and ghc 20160710.1443

one thing I just realized is that the arm hardware that worked with gsl were all running 64bit linux (where `uname -a` reports the CPU architecture being `aarch64`) but the...

I see. So if I am understanding correctly it is fixable at the binding level but would require quite some work. It seems that I could get around this by...

Thanks for the ping! We decided to stick with 64bit os for our raspi project and didn't proceed to attempt a fix. (Also I think OCaml 5.0 has dropped tier...

@rse would you mind to take a look and consider merging this PR?

**update: please see https://github.com/actions/runner/issues/2009#issuecomment-1646822015 and disregard this comment** (original comment) seems like a fix is coming together with https://github.com/actions/runner/pull/1803? is there an estimation for #1803 to be merged? it seems...

> The reproduction steps for FreeBSD and MacOS are not really usable outside of the Tarides ops team I think we can simply point out that it's not easily reproducible...

Discovered by CI of https://github.com/ocaml/opam-repository/pull/24873

Memo from opam-repo maintainer meetings: - for mysql8: add x-ci-accept-failures (debian-12) - open an issue upstream