Skip to content

Commit

Permalink
Use node20
Browse files Browse the repository at this point in the history
  • Loading branch information
@wenkokke
wenkokke committed Aug 22, 2024
1 parent 7bd2460 commit 009e316
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion action.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -256,7 +256,7 @@ outputs:
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'
using: 'node20'
main: './dist/action.cjs'

branding:
Expand Down
2 changes: 1 addition & 1 deletion dist/action.cjs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 L0={"2.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.1.zip",tag:"v2.1",dir:"agda-stdlib-2.1"}},"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 rw={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var P0={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":"2.1"}},"2.7.0":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip",sha256:"6e46324b8425a756c0e2d40b977fa93ad767c0ff251da52645ddb5503d909470",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip",sha256:"35f1c8ac02d8be43c3ecdc223bed3acf143cb4e32bf43e6c24ac616cc7f5a668",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip",sha256:"f90a1fb7ac1bb7535dc8c2640c9ebe22fdeb3dd85c6f5150c245b9b5d6da1056",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip",sha256:"6595c7ff4a4f8821974d7cf06e011b96fd91d86eb54ed51930dc54be167c318b",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip",sha256:"1b8f46e07e5a8f9bf6b09e0d5f46a6fe56d90393f4425ad3101dc0952d262c74",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"2.1",ghc:"8.6.5 - 9.10.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:"node20",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var L0={"2.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.1.zip",tag:"v2.1",dir:"agda-stdlib-2.1"}},"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 rw={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var P0={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":"2.1"}},"2.7.0":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip",sha256:"6e46324b8425a756c0e2d40b977fa93ad767c0ff251da52645ddb5503d909470",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip",sha256:"35f1c8ac02d8be43c3ecdc223bed3acf143cb4e32bf43e6c24ac616cc7f5a668",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip",sha256:"f90a1fb7ac1bb7535dc8c2640c9ebe22fdeb3dd85c6f5150c245b9b5d6da1056",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip",sha256:"6595c7ff4a4f8821974d7cf06e011b96fd91d86eb54ed51930dc54be167c318b",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip",sha256:"1b8f46e07e5a8f9bf6b09e0d5f46a6fe56d90393f4425ad3101dc0952d262c74",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"2.1",ghc:"8.6.5 - 9.10.1"},configuration:{macos:`--flags=+enable-cluster-counting
--flags=+optimise-heavily
`,linux:`--enable-split-sections
--flags=+enable-cluster-counting
Expand Down
2 changes: 1 addition & 1 deletion src/data/setup-agda/action.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@
}
},
"runs": {
"using": "node16",
"using": "node20",
"main": "./dist/action.cjs"
},
"branding": {
Expand Down

0 comments on commit 009e316

Please sign in to comment.