David Sheets

It looks like `LIBCLANG_PATH` is somehow used and necessary for the CI instances to find their `libclang` install. I've added it back with a comment about this. Unfortunately, the latest...

Hi, sorry for the delay. I might have some time to take a look at this next week.

I have the same issue. I have tried to use emacs's profiling support to track it down to no avail. - OS: macOS Sonoma 14.2.1 - Agda 2.6.4.1 - GNU...

After downgrading to GNU Emacs 28.2 (build 1, aarch64-apple-darwin21.1.0, NS appkit-2113.00 Version 12.0.1 (Build 21A559)) of 2023-02-22 the performance has significantly improved. The issue with the 29 series seems to...

I note that some of the components are still much newer. Could you try ? It should be relatively easy to install/uninstall to/from `/Applications` and could help give us a...

I did not have these performance issues with: - OS: `Linux 6.5.0-5-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.5.13-1 (2023-11-29) x86_64 GNU/Linux` - Agda 2.6.3-b499d12 - GNU Emacs 29.1 (build 1, x86_64-pc-linux-gnu,...

Perhaps if workers could register domain names as well as IP addresses, the DNS could be used as a layer of service indirection ala signposts.

This is because the file system you are mounting from OS X is case-insensitive -- OS X defaults to HFS+ case-insensitive and Docker for Mac shares exactly this file system...

We've considered shipping tools to help users set up case-sensitive disk image volumes. Perhaps a script which creates a sparse bundle disk image, formats it as HFS+ case-sensitive, and mounts...

Docker for Mac attempts to make it appear as though Docker is running directly on OS X. This is, in general, not possible. `osxfs` is the component of Docker for...