agda-language-server icon indicating copy to clipboard operation
agda-language-server copied to clipboard
verified publisher icon agda

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

Open haohanyang opened this issue 1 year ago • 1 comments

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

Image

haohanyang avatar Feb 10 '25 19:02 haohanyang

Same issue here :/

mxsdev avatar Mar 06 '25 01:03 mxsdev