gksato
意見募集: とくに反対がなければ,コンパイルコマンドを
に変更しようと思いますが,どうでしょう?
cd /judge/submission source ~/.ghcup/env cabal v2-build --offline && cabal v2-exec -- bash -c 'cp $(which main) ../'
に変更しようと思いますが,どうでしょう?