Fix GitHub release assets' API schema#261

banacorn merged 1 commit intobanacorn:masterbanacorn/agda-mode-vscode:masterfrom

andy0130tw:fix-release-assets-api-schemaandy0130tw/agda-mode-vscode:fix-release-assets-api-schemaCopy head branch name to clipboard