いけたわー

うぬーうまくいかぬ．これは明確にsaveボタンつけたほうがいいかも

あーsocks proxyにしたらいけた．httpだといけないのかなぁ

これでarm64のためだけにself-hosted runner用意しなくてもよくなるかなぁ / GitHub Actions: arm64 Linux and Windows runners are now generally available · GitHub Changelog - https://github.blog/changelog/2024-09-03-github-actions-arm64-linux-and-windows-runners-are-now-generally-available/

ようやく通常パターンのプロキシ設定動いた．問題はwssやな……これはまだ動かない