From 8b21b460abb9f58abe2d884ff4db188916540f7e Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Thu, 25 Jan 2024 12:12:25 +0000 Subject: [PATCH] Support agda-stdlib v2.0 (#207) --- data/Agda.versions.yml | 4 ++-- data/agda-stdlib.versions.yml | 5 +++++ dist/action.cjs | 2 +- src/data/Agda.versions.json | 4 ++-- src/data/agda-stdlib.versions.json | 7 +++++++ 5 files changed, 17 insertions(+), 5 deletions(-) diff --git a/data/Agda.versions.yml b/data/Agda.versions.yml index edb6792..d7bda4f 100644 --- a/data/Agda.versions.yml +++ b/data/Agda.versions.yml @@ -13,7 +13,7 @@ nightly: - url: https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip dir: Agda-nightly compatibility: - agda-stdlib: '1.7.3' + agda-stdlib: '1.7.3 - 2.0' 2.6.4.1: binary: macos: @@ -41,7 +41,7 @@ nightly: sha256: 19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81 target: windows-2022 compatibility: - agda-stdlib: '1.7.3' + agda-stdlib: '1.7.3 - 2.0' ghc: '8.6.5 - 9.8.1' configuration: macos: | diff --git a/data/agda-stdlib.versions.yml b/data/agda-stdlib.versions.yml index 5d301a4..8b95541 100644 --- a/data/agda-stdlib.versions.yml +++ b/data/agda-stdlib.versions.yml @@ -1,3 +1,8 @@ +'2.0': + source: + url: 'https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip' + tag: 'v2.0' + dir: 'agda-stdlib-2.0' '1.7.3': source: url: 'https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip' diff --git a/dist/action.cjs b/dist/action.cjs index 7325438..8764ab2 100644 --- a/dist/action.cjs +++ b/dist/action.cjs @@ -236,7 +236,7 @@ Maximum 90 days unless changed from the repository settings page. `,required:!1},"stack-no-global":{description:`If specified, enable-stack must be set. Prevents installing GHC and Cabal globally. `,required:!1},"stack-setup-ghc":{description:`If specified, enable-stack must be set. Will run stack setup to install the specified GHC. `,required:!1},"cabal-update":{required:!1,description:"If specified, will run `cabal update`.\n"},"ghcup-release-channel":{required:!1,description:"If specified, value is added as a ghcup release channel via `ghcup config add-release-channel`.\n"},"disable-matcher":{required:!1,description:`If specified, disables match messages from GHC as GitHub CI annotations. -`}},outputs:{"agda-version":{description:"The resolved Agda version."},"agda-path":{description:"The path of the agda executable _directory_."},"agda-data-path":{description:"The path of the agda data _directory_."},"agda-exe":{description:"The path of the agda _executable_."},"agda-mode-exe":{description:"The path of the agda-mode _executable_."},"setup-haskell":{description:"Whether or not actions/haskell/setup was called."},"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var F2={"1.7.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",tag:"v1.7.3",dir:"agda-stdlib-1.7.3"}},"1.7.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.2.zip",tag:"v1.7.2",dir:"agda-stdlib-1.7.2"}},"1.7.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.1.zip",tag:"v1.7.1",dir:"agda-stdlib-1.7.1"}},"1.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.zip",tag:"v1.7",dir:"agda-stdlib-1.7"}},"1.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.6.zip",tag:"v1.6",dir:"agda-stdlib-1.6"}},"1.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.5.zip",tag:"v1.5",dir:"agda-stdlib-1.5"}},"1.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.4.zip",tag:"v1.4",dir:"agda-stdlib-1.4"}},"1.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.3.zip",tag:"v1.3",dir:"agda-stdlib-1.3"}},"1.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.2.zip",tag:"v1.2",dir:"agda-stdlib-1.2"}},"1.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.1.zip",tag:"v1.1",dir:"agda-stdlib-1.1"}},"1.0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.1.zip",tag:"v1.0.1",dir:"agda-stdlib-1.0.1"}},"1.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.zip",tag:"v1.0",dir:"agda-stdlib-1.0"}},"0.17":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.17.zip",tag:"v0.17",dir:"agda-stdlib-0.17"}},"0.16":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.zip",tag:"v0.16",dir:"agda-stdlib-0.16"}},"0.16.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.1.zip",tag:"v0.16.1",dir:"agda-stdlib-0.16.1"}},"0.15":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.15.zip",tag:"v0.15",dir:"agda-stdlib-0.15"}},"0.14":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.14.zip",tag:"v0.14",dir:"agda-stdlib-0.14"}},"0.13":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.13.zip",tag:"v0.13",dir:"agda-stdlib-0.13"}},"0.12":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.12.zip",tag:"v0.12",dir:"agda-stdlib-0.12"}},"0.11":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.11.zip",tag:"v0.11",dir:"agda-stdlib-0.11"}},"0.10":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.10.zip",tag:"v0.10",dir:"agda-stdlib-0.10"}},"0.9":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.9.zip",tag:"v0.9",dir:"agda-stdlib-0.9"}},"0.8.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.1.zip",tag:"v0.8.1",dir:"agda-stdlib-0.8.1"}},"0.8":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.zip",tag:"v0.8",dir:"agda-stdlib-0.8"}},"0.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_7.zip",tag:"0_7",dir:"agda-stdlib-0_7"}},"0.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_6.zip",tag:"0_6",dir:"agda-stdlib-0_6"}},"0.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_5.zip",tag:"0_5",dir:"agda-stdlib-0_5"}},"0.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_4.zip",tag:"0_4",dir:"agda-stdlib-0_4"}},"0.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_3.zip",tag:"0_3",dir:"agda-stdlib-0_3"}},"0.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_2.zip",tag:"0_2",dir:"agda-stdlib-0_2"}},"0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_1.zip",tag:"0_1",dir:"agda-stdlib-0_1"}}};var ay={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var k2={nightly:{binary:{macos:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz",dir:"Agda-nightly"}]},linux:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz",dir:"Agda-nightly"}]},windows:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip",dir:"Agda-nightly"}]}},compatibility:{"agda-stdlib":"1.7.3"}},"2.6.4.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip",sha256:"aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip",sha256:"d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889",target:"macos-12"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-13-ghc9.4.7-icu73.2.zip",sha256:"b3a61968f2e7b94b76bb6ca9276dc8f499c2d89cccb1e1a3f9fb6d4dc98da631",target:"macos-13"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip",sha256:"22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip",sha256:"bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip",sha256:"19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting +`}},outputs:{"agda-version":{description:"The resolved Agda version."},"agda-path":{description:"The path of the agda executable _directory_."},"agda-data-path":{description:"The path of the agda data _directory_."},"agda-exe":{description:"The path of the agda _executable_."},"agda-mode-exe":{description:"The path of the agda-mode _executable_."},"setup-haskell":{description:"Whether or not actions/haskell/setup was called."},"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var F2={"2.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip",tag:"v2.0",dir:"agda-stdlib-2.0"}},"1.7.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",tag:"v1.7.3",dir:"agda-stdlib-1.7.3"}},"1.7.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.2.zip",tag:"v1.7.2",dir:"agda-stdlib-1.7.2"}},"1.7.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.1.zip",tag:"v1.7.1",dir:"agda-stdlib-1.7.1"}},"1.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.zip",tag:"v1.7",dir:"agda-stdlib-1.7"}},"1.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.6.zip",tag:"v1.6",dir:"agda-stdlib-1.6"}},"1.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.5.zip",tag:"v1.5",dir:"agda-stdlib-1.5"}},"1.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.4.zip",tag:"v1.4",dir:"agda-stdlib-1.4"}},"1.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.3.zip",tag:"v1.3",dir:"agda-stdlib-1.3"}},"1.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.2.zip",tag:"v1.2",dir:"agda-stdlib-1.2"}},"1.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.1.zip",tag:"v1.1",dir:"agda-stdlib-1.1"}},"1.0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.1.zip",tag:"v1.0.1",dir:"agda-stdlib-1.0.1"}},"1.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.zip",tag:"v1.0",dir:"agda-stdlib-1.0"}},"0.17":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.17.zip",tag:"v0.17",dir:"agda-stdlib-0.17"}},"0.16":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.zip",tag:"v0.16",dir:"agda-stdlib-0.16"}},"0.16.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.1.zip",tag:"v0.16.1",dir:"agda-stdlib-0.16.1"}},"0.15":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.15.zip",tag:"v0.15",dir:"agda-stdlib-0.15"}},"0.14":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.14.zip",tag:"v0.14",dir:"agda-stdlib-0.14"}},"0.13":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.13.zip",tag:"v0.13",dir:"agda-stdlib-0.13"}},"0.12":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.12.zip",tag:"v0.12",dir:"agda-stdlib-0.12"}},"0.11":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.11.zip",tag:"v0.11",dir:"agda-stdlib-0.11"}},"0.10":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.10.zip",tag:"v0.10",dir:"agda-stdlib-0.10"}},"0.9":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.9.zip",tag:"v0.9",dir:"agda-stdlib-0.9"}},"0.8.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.1.zip",tag:"v0.8.1",dir:"agda-stdlib-0.8.1"}},"0.8":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.zip",tag:"v0.8",dir:"agda-stdlib-0.8"}},"0.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_7.zip",tag:"0_7",dir:"agda-stdlib-0_7"}},"0.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_6.zip",tag:"0_6",dir:"agda-stdlib-0_6"}},"0.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_5.zip",tag:"0_5",dir:"agda-stdlib-0_5"}},"0.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_4.zip",tag:"0_4",dir:"agda-stdlib-0_4"}},"0.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_3.zip",tag:"0_3",dir:"agda-stdlib-0_3"}},"0.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_2.zip",tag:"0_2",dir:"agda-stdlib-0_2"}},"0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_1.zip",tag:"0_1",dir:"agda-stdlib-0_1"}}};var ay={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var k2={nightly:{binary:{macos:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz",dir:"Agda-nightly"}]},linux:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz",dir:"Agda-nightly"}]},windows:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip",dir:"Agda-nightly"}]}},compatibility:{"agda-stdlib":"1.7.3 - 2.0"}},"2.6.4.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip",sha256:"aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip",sha256:"d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889",target:"macos-12"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-13-ghc9.4.7-icu73.2.zip",sha256:"b3a61968f2e7b94b76bb6ca9276dc8f499c2d89cccb1e1a3f9fb6d4dc98da631",target:"macos-13"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip",sha256:"22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip",sha256:"bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip",sha256:"19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3 - 2.0",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting diff --git a/src/data/Agda.versions.json b/src/data/Agda.versions.json index 26228e6..2610b39 100644 --- a/src/data/Agda.versions.json +++ b/src/data/Agda.versions.json @@ -27,7 +27,7 @@ } }, "compatibility": { - "agda-stdlib": "1.7.3" + "agda-stdlib": "1.7.3 - 2.0" } }, "2.6.4.1": { @@ -76,7 +76,7 @@ } }, "compatibility": { - "agda-stdlib": "1.7.3", + "agda-stdlib": "1.7.3 - 2.0", "ghc": "8.6.5 - 9.8.1" }, "configuration": { diff --git a/src/data/agda-stdlib.versions.json b/src/data/agda-stdlib.versions.json index 8b18a45..a982d55 100644 --- a/src/data/agda-stdlib.versions.json +++ b/src/data/agda-stdlib.versions.json @@ -1,4 +1,11 @@ { + "2.0": { + "source": { + "url": "https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip", + "tag": "v2.0", + "dir": "agda-stdlib-2.0" + } + }, "1.7.3": { "source": { "url": "https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",