[ fix ] Fix CI for building Agda 2.6.4 with Stack#267

andy0130tw merged 1 commit intomasterbanacorn/agda-mode-vscode:masterfrom

fix-ci-for-agda-2.6.4banacorn/agda-mode-vscode:fix-ci-for-agda-2.6.4Copy head branch name to clipboard