耶用 GHA 編 Agda 執行檔來用, 也能改 flag 開編譯最佳化, 快了 99 秒 可惜還沒有 M1 的 runner, 還是用 ARM 跑 x86 的執行檔

不知道誰寫 Nightly build 的 workflow, 真厲害呀, 根本看不懂怎麼處理 libicu 動態連結的問題