Haohan Yang

**Describe the bug** LSP crashes when running in the [coder-server](https://github.com/coder/code-server) container **To Reproduce** * Pull and run the docker [image](https://hub.docker.com/r/codercom/code-server) * In the container, install Erlang and rebar3 ```bash #...

The network part is very helpful for me. Could you add a licence so I can better use your code? Thanks.

Add a license file in this repo

I ran into the error `ERR_IMPORT_ASSERTION_TYPE_MISSING` when running `npm run build` (node version v18.17.1). Adding `assert { type: "json" }` seems to fix it. Ref: https://stackoverflow.com/questions/70106880/err-import-assertion-type-missing-for-import-of-json-file

Upgrade `macos-12` to `macos-13`

2

The x64 runner image `macos-12` is deprecated according to https://github.com/actions/runner-images?tab=readme-ov-file#available-images The PR upgrades the it to a newer `macos-13` The latest x64 image is `macos-latest-large` or `macos-14-large` which seems to...

macOS binary on release page has unportable Agda linkage to CI runner

1

I downloaded the macOS binary but it seems to link to the Agda library from the CI runner.

Windows build is supported in Circle CI

2

### Description Circle CI setup is missing in the [docs](https://cibuildwheel.pypa.io/en/stable/setup/#circleci). My Circle CI workflow has successfully built windows wheels ### Build log https://app.circleci.com/pipelines/github/haohanyang/phreeqc/7/workflows/5b9a38bb-4849-4f2b-bed4-a2ec11f7b703/jobs/18 ### CI config https://github.com/haohanyang/phreeqc/blob/master/.circleci/config.yml

Compiled with C++ 14 standard Compiler: ``` Apple clang version 14.0.3 (clang-1403.0.22.14.1) Target: x86_64-apple-darwin22.5.0 Thread model: posix InstalledDir: /Library/Developer/CommandLineTools/usr/bin ``` Error output ``` [build] /Users/haohanyang/Developer/ogs5/FEM/matrix_class.cpp:1879:16: error: explicit instantiation of 'Math_Group::vec'...