From e4c44319e7262b065d55d152ec1ad0cbfe6c6b0f Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Thu, 7 Mar 2024 16:45:19 +0000 Subject: [PATCH] bump version v2.1.0 -> v2.2.0 --- bumpver.toml | 2 +- dist/action.cjs | 2 +- package.json | 2 +- src/data/setup-agda/package.json | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/bumpver.toml b/bumpver.toml index d68800f..3bd5a76 100644 --- a/bumpver.toml +++ b/bumpver.toml @@ -1,5 +1,5 @@ [bumpver] -current_version = "v2.1.0" +current_version = "v2.2.0" version_pattern = "vMAJOR.MINOR.PATCH" commit_message = "bump version {old_version} -> {new_version}" commit = true diff --git a/dist/action.cjs b/dist/action.cjs index 7277ecc..04248e0 100644 --- a/dist/action.cjs +++ b/dist/action.cjs @@ -122,7 +122,7 @@ by using the appropriate tool request template: https://github.com/actions/runne `.charCodeAt(),i=typeof e=="string"?"\r":"\r".charCodeAt();return e[e.length-1]===t&&(e=e.slice(0,-1)),e[e.length-1]===i&&(e=e.slice(0,-1)),e}c();var Qo=T(require("node:process"),1),In=T(require("node:path"),1),c5=T(require("node:url"),1);c();function vp(e={}){let{env:t=process.env,platform:i=process.platform}=e;return i!=="win32"?"PATH":Object.keys(t).reverse().find(r=>r.toUpperCase()==="PATH")||"Path"}function fR(e={}){let{cwd:t=Qo.default.cwd(),path:i=Qo.default.env[vp()],execPath:r=Qo.default.execPath}=e,a,o=t instanceof URL?c5.default.fileURLToPath(t):t,s=In.default.resolve(o),p=[];for(;a!==s;)p.push(In.default.join(s,"node_modules/.bin")),a=s,s=In.default.resolve(s,"..");return p.push(In.default.resolve(o,r,"..")),[...p,i].join(In.default.delimiter)}function m5({env:e=Qo.default.env,...t}={}){e={...e};let i=vp({env:e});return t.path=e[i],e[i]=fR(t),e}c();c();var hR=(e,t,i,r)=>{if(i==="length"||i==="prototype"||i==="arguments"||i==="caller")return;let a=Object.getOwnPropertyDescriptor(e,i),o=Object.getOwnPropertyDescriptor(t,i);!vR(a,o)&&r||Object.defineProperty(e,i,o)},vR=function(e,t){return e===void 0||e.configurable||e.writable===t.writable&&e.enumerable===t.enumerable&&e.configurable===t.configurable&&(e.writable||e.value===t.value)},gR=(e,t)=>{let i=Object.getPrototypeOf(t);i!==Object.getPrototypeOf(e)&&Object.setPrototypeOf(e,i)},yR=(e,t)=>`/* Wrapped ${e}*/ ${t}`,wR=Object.getOwnPropertyDescriptor(Function.prototype,"toString"),bR=Object.getOwnPropertyDescriptor(Function.prototype.toString,"name"),ER=(e,t,i)=>{let r=i===""?"":`with ${i.trim()}() `,a=yR.bind(null,r,t.toString());Object.defineProperty(a,"name",bR),Object.defineProperty(e,"toString",{...wR,value:a})};function ac(e,t,{ignoreNonConfigurable:i=!1}={}){let{name:r}=e;for(let a of Reflect.ownKeys(t))hR(e,t,a,i);return gR(e,t),ER(e,t,r),e}var gp=new WeakMap,f5=(e,t={})=>{if(typeof e!="function")throw new TypeError("Expected a function");let i,r=0,a=e.displayName||e.name||"",o=function(...s){if(gp.set(o,++r),r===1)i=e.apply(this,s),e=null;else if(t.throw===!0)throw new Error(`Function \`${a}\` can only be called once`);return i};return ac(o,e),gp.set(o,r),o};f5.callCount=e=>{if(!gp.has(e))throw new Error(`The given function \`${e.name}\` is not wrapped by the \`onetime\` package`);return gp.get(e)};var h5=f5;c();c();var b5=require("os");c();var v5=function(){let e=nc-g5+1;return Array.from({length:e},SR)},SR=function(e,t){return{name:`SIGRT${t+1}`,number:g5+t,action:"terminate",description:"Application-specific signal (realtime)",standard:"posix"}},g5=34,nc=64;c();var w5=require("os");c();var y5=[{name:"SIGHUP",number:1,action:"terminate",description:"Terminal closed",standard:"posix"},{name:"SIGINT",number:2,action:"terminate",description:"User interruption with CTRL-C",standard:"ansi"},{name:"SIGQUIT",number:3,action:"core",description:"User interruption with CTRL-\\",standard:"posix"},{name:"SIGILL",number:4,action:"core",description:"Invalid machine instruction",standard:"ansi"},{name:"SIGTRAP",number:5,action:"core",description:"Debugger breakpoint",standard:"posix"},{name:"SIGABRT",number:6,action:"core",description:"Aborted",standard:"ansi"},{name:"SIGIOT",number:6,action:"core",description:"Aborted",standard:"bsd"},{name:"SIGBUS",number:7,action:"core",description:"Bus error due to misaligned, non-existing address or paging error",standard:"bsd"},{name:"SIGEMT",number:7,action:"terminate",description:"Command should be emulated but is not implemented",standard:"other"},{name:"SIGFPE",number:8,action:"core",description:"Floating point arithmetic error",standard:"ansi"},{name:"SIGKILL",number:9,action:"terminate",description:"Forced termination",standard:"posix",forced:!0},{name:"SIGUSR1",number:10,action:"terminate",description:"Application-specific signal",standard:"posix"},{name:"SIGSEGV",number:11,action:"core",description:"Segmentation fault",standard:"ansi"},{name:"SIGUSR2",number:12,action:"terminate",description:"Application-specific signal",standard:"posix"},{name:"SIGPIPE",number:13,action:"terminate",description:"Broken pipe or socket",standard:"posix"},{name:"SIGALRM",number:14,action:"terminate",description:"Timeout or timer",standard:"posix"},{name:"SIGTERM",number:15,action:"terminate",description:"Termination",standard:"ansi"},{name:"SIGSTKFLT",number:16,action:"terminate",description:"Stack is empty or overflowed",standard:"other"},{name:"SIGCHLD",number:17,action:"ignore",description:"Child process terminated, paused or unpaused",standard:"posix"},{name:"SIGCLD",number:17,action:"ignore",description:"Child process terminated, paused or unpaused",standard:"other"},{name:"SIGCONT",number:18,action:"unpause",description:"Unpaused",standard:"posix",forced:!0},{name:"SIGSTOP",number:19,action:"pause",description:"Paused",standard:"posix",forced:!0},{name:"SIGTSTP",number:20,action:"pause",description:'Paused using CTRL-Z or "suspend"',standard:"posix"},{name:"SIGTTIN",number:21,action:"pause",description:"Background process cannot read terminal input",standard:"posix"},{name:"SIGBREAK",number:21,action:"terminate",description:"User interruption with CTRL-BREAK",standard:"other"},{name:"SIGTTOU",number:22,action:"pause",description:"Background process cannot write to terminal output",standard:"posix"},{name:"SIGURG",number:23,action:"ignore",description:"Socket received out-of-band data",standard:"bsd"},{name:"SIGXCPU",number:24,action:"core",description:"Process timed out",standard:"bsd"},{name:"SIGXFSZ",number:25,action:"core",description:"File too big",standard:"bsd"},{name:"SIGVTALRM",number:26,action:"terminate",description:"Timeout or timer",standard:"bsd"},{name:"SIGPROF",number:27,action:"terminate",description:"Timeout or timer",standard:"bsd"},{name:"SIGWINCH",number:28,action:"ignore",description:"Terminal window size changed",standard:"bsd"},{name:"SIGIO",number:29,action:"terminate",description:"I/O is available",standard:"other"},{name:"SIGPOLL",number:29,action:"terminate",description:"Watched event",standard:"other"},{name:"SIGINFO",number:29,action:"ignore",description:"Request for process information",standard:"other"},{name:"SIGPWR",number:30,action:"terminate",description:"Device running out of power",standard:"systemv"},{name:"SIGSYS",number:31,action:"core",description:"Invalid system call",standard:"other"},{name:"SIGUNUSED",number:31,action:"terminate",description:"Invalid system call",standard:"other"}];var oc=function(){let e=v5();return[...y5,...e].map(_R)},_R=function({name:e,number:t,description:i,action:r,forced:a=!1,standard:o}){let{signals:{[e]:s}}=w5.constants,p=s!==void 0;return{name:e,number:p?s:t,description:i,supported:p,action:r,forced:a,standard:o}};var AR=function(){return oc().reduce(xR,{})},xR=function(e,{name:t,number:i,description:r,supported:a,action:o,forced:s,standard:p}){return{...e,[t]:{name:t,number:i,description:r,supported:a,action:o,forced:s,standard:p}}},E5=AR(),TR=function(){let e=oc(),t=64+1,i=Array.from({length:t},(r,a)=>OR(a,e));return Object.assign({},...i)},OR=function(e,t){let i=NR(e,t);if(i===void 0)return{};let{name:r,description:a,supported:o,action:s,forced:p,standard:d}=i;return{[e]:{name:r,number:e,description:a,supported:o,action:s,forced:p,standard:d}}},NR=function(e,t){let i=t.find(({name:r})=>b5.constants.signals[r]===e);return i!==void 0?i:t.find(r=>r.number===e)},gZ=TR();var IR=({timedOut:e,timeout:t,errorCode:i,signal:r,signalDescription:a,exitCode:o,isCanceled:s})=>e?`timed out after ${t} milliseconds`:s?"was canceled":i!==void 0?`failed with ${i}`:r!==void 0?`was killed with ${r} (${a})`:o!==void 0?`failed with exit code ${o}`:"failed",sc=({stdout:e,stderr:t,all:i,error:r,signal:a,exitCode:o,command:s,escapedCommand:p,timedOut:d,isCanceled:l,killed:u,parsed:{options:{timeout:m}}})=>{o=o===null?void 0:o,a=a===null?void 0:a;let f=a===void 0?void 0:E5[a].description,h=r&&r.code,b=`Command ${IR({timedOut:d,timeout:m,errorCode:h,signal:a,signalDescription:f,exitCode:o,isCanceled:l})}: ${s}`,w=Object.prototype.toString.call(r)==="[object Error]",E=w?`${b} ${r.message}`:b,S=[E,t,e].filter(Boolean).join(` -`);return w?(r.originalMessage=r.message,r.message=S):r=new Error(S),r.shortMessage=E,r.command=s,r.escapedCommand=p,r.exitCode=o,r.signal=a,r.signalDescription=f,r.stdout=e,r.stderr=t,i!==void 0&&(r.all=i),"bufferedData"in r&&delete r.bufferedData,r.failed=!0,r.timedOut=Boolean(d),r.isCanceled=l,r.killed=u&&!d,r};c();var yp=["stdin","stdout","stderr"],CR=e=>yp.some(t=>e[t]!==void 0),S5=e=>{if(!e)return;let{stdio:t}=e;if(t===void 0)return yp.map(r=>e[r]);if(CR(e))throw new Error(`It's not possible to provide \`stdio\` in combination with one of ${yp.map(r=>`\`${r}\``).join(", ")}`);if(typeof t=="string")return t;if(!Array.isArray(t))throw new TypeError(`Expected \`stdio\` to be of type \`string\` or \`Array\`, got \`${typeof t}\``);let i=Math.max(t.length,yp.length);return Array.from({length:i},(r,a)=>t[a])};c();var _5=T(require("node:os"),1),A5=T(zu(),1),RR=1e3*5,x5=(e,t="SIGTERM",i={})=>{let r=e(t);return DR(e,t,i,r),r},DR=(e,t,i,r)=>{if(!LR(t,i,r))return;let a=FR(i),o=setTimeout(()=>{e("SIGKILL")},a);o.unref&&o.unref()},LR=(e,{forceKillAfterTimeout:t},i)=>PR(e)&&t!==!1&&i,PR=e=>e===_5.default.constants.signals.SIGTERM||typeof e=="string"&&e.toUpperCase()==="SIGTERM",FR=({forceKillAfterTimeout:e=!0})=>{if(e===!0)return RR;if(!Number.isFinite(e)||e<0)throw new TypeError(`Expected the \`forceKillAfterTimeout\` option to be a non-negative integer, got \`${e}\` (${typeof e})`);return e},T5=(e,t)=>{e.kill()&&(t.isCanceled=!0)},kR=(e,t,i)=>{e.kill(t),i(Object.assign(new Error("Timed out"),{timedOut:!0,signal:t}))},O5=(e,{timeout:t,killSignal:i="SIGTERM"},r)=>{if(t===0||t===void 0)return r;let a,o=new Promise((p,d)=>{a=setTimeout(()=>{kR(e,i,d)},t)}),s=r.finally(()=>{clearTimeout(a)});return Promise.race([o,s])},N5=({timeout:e})=>{if(e!==void 0&&(!Number.isFinite(e)||e<0))throw new TypeError(`Expected the \`timeout\` option to be a non-negative integer, got \`${e}\` (${typeof e})`)},I5=async(e,{cleanup:t,detached:i},r)=>{if(!t||i)return r;let a=(0,A5.default)(()=>{e.kill()});return r.finally(()=>{a()})};c();c();function C5(e){return e!==null&&typeof e=="object"&&typeof e.pipe=="function"}var lc=T(Yu(),1),R5=T(Ku(),1),D5=(e,t)=>{t===void 0||e.stdin===void 0||(C5(t)?t.pipe(e.stdin):e.stdin.end(t))},L5=(e,{all:t})=>{if(!t||!e.stdout&&!e.stderr)return;let i=(0,R5.default)();return e.stdout&&i.add(e.stdout),e.stderr&&i.add(e.stderr),i},pc=async(e,t)=>{if(e){e.destroy();try{return await t}catch(i){return i.bufferedData}}},dc=(e,{encoding:t,buffer:i,maxBuffer:r})=>{if(!(!e||!i))return t?(0,lc.default)(e,{encoding:t,maxBuffer:r}):lc.default.buffer(e,{maxBuffer:r})},P5=async({stdout:e,stderr:t,all:i},{encoding:r,buffer:a,maxBuffer:o},s)=>{let p=dc(e,{encoding:r,buffer:a,maxBuffer:o}),d=dc(t,{encoding:r,buffer:a,maxBuffer:o}),l=dc(i,{encoding:r,buffer:a,maxBuffer:o*2});try{return await Promise.all([s,p,d,l])}catch(u){return Promise.all([{error:u,signal:u.signal,timedOut:u.timedOut},pc(e,p),pc(t,d),pc(i,l)])}};c();var BR=(async()=>{})().constructor.prototype,$R=["then","catch","finally"].map(e=>[e,Reflect.getOwnPropertyDescriptor(BR,e)]),uc=(e,t)=>{for(let[i,r]of $R){let a=typeof t=="function"?(...o)=>Reflect.apply(r.value,t(),o):r.value.bind(t);Reflect.defineProperty(e,i,{...r,value:a})}return e},F5=e=>new Promise((t,i)=>{e.on("exit",(r,a)=>{t({exitCode:r,signal:a})}),e.on("error",r=>{i(r)}),e.stdin&&e.stdin.on("error",r=>{i(r)})});c();var k5=(e,t=[])=>Array.isArray(t)?[e,...t]:[e],qR=/^[\w.-]+$/,VR=/"/g,jR=e=>typeof e!="string"||qR.test(e)?e:`"${e.replace(VR,'\\"')}"`,B5=(e,t)=>k5(e,t).join(" "),$5=(e,t)=>k5(e,t).map(i=>jR(i)).join(" ");var MR=1e3*1e3*100,UR=({env:e,extendEnv:t,preferLocal:i,localDir:r,execPath:a})=>{let o=t?{...es.default.env,...e}:e;return i?m5({env:o,cwd:r,execPath:a}):o},GR=(e,t,i={})=>{let r=j5.default._parse(e,t,i);return e=r.command,t=r.args,i=r.options,i={maxBuffer:MR,buffer:!0,stripFinalNewline:!0,extendEnv:!0,preferLocal:!1,localDir:i.cwd||es.default.cwd(),execPath:es.default.execPath,encoding:"utf8",reject:!0,cleanup:!0,all:!1,windowsHide:!0,...i},i.env=UR(i),i.stdio=S5(i),es.default.platform==="win32"&&V5.default.basename(e,".exe")==="cmd"&&t.unshift("/q"),{file:e,args:t,options:i,parsed:r}},cc=(e,t,i)=>typeof t!="string"&&!q5.Buffer.isBuffer(t)?i===void 0?void 0:"":e.stripFinalNewline?rc(t):t;function M5(e,t,i){let r=GR(e,t,i),a=B5(e,t),o=$5(e,t);N5(r.options);let s;try{s=mc.default.spawn(r.file,r.args,r.options)}catch(h){let g=new mc.default.ChildProcess,b=Promise.reject(sc({error:h,stdout:"",stderr:"",all:"",command:a,escapedCommand:o,parsed:r,timedOut:!1,isCanceled:!1,killed:!1}));return uc(g,b)}let p=F5(s),d=O5(s,r.options,p),l=I5(s,r.options,d),u={isCanceled:!1};s.kill=x5.bind(null,s.kill.bind(s)),s.cancel=T5.bind(null,s,u);let f=h5(async()=>{let[{error:h,exitCode:g,signal:b,timedOut:w},E,S,A]=await P5(s,r.options,l),O=cc(r.options,E),B=cc(r.options,S),$=cc(r.options,A);if(h||g!==0||b!==null){let he=sc({error:h,exitCode:g,signal:b,stdout:O,stderr:B,all:$,command:a,escapedCommand:o,parsed:r,timedOut:w,isCanceled:u.isCanceled||(r.options.signal?r.options.signal.aborted:!1),killed:s.killed});if(!r.options.reject)return he;throw he}return{command:a,escapedCommand:o,exitCode:0,stdout:O,stderr:B,all:$,failed:!1,timedOut:!1,isCanceled:!1,killed:!1}});return D5(s,r.options.input),s.all=L5(s,r.options),uc(s,f)}var s8=T(require("node:path"),1),p8=T(wp(),1),hc=T(i8(),1);c();var o8=T(n8(),1);function eD(e,t){if(t!==void 0&&t!=="silent")switch(t){case"trace":return n.debug(e);case"debug":return n.debug(e);case"info":return n.info(e);case"warning":return n.warning(e);case"error":return n.error(e);case"fatal":return n.setFailed(e)}}function fc(e,t){if(t!==void 0&&t!=="silent"){let i=new o8.default(e);i.on("error",n.error),i.on("line",r=>eD(r,t))}}var F=d8;async function d8(e,t,i){n.debug(tD(e,t));let r=M5(e,t,{cwd:i==null?void 0:i.cwd,env:{...i==null?void 0:i.env,PATH:process.env.PATH}});r.stdout!==null&&fc(r.stdout,"debug"),r.stderr!==null&&fc(r.stderr,"debug");let a=await r;if(a.failed)throw a;return(0,p8.default)(a,["stdout","stderr"])}d8.which=async(e,t)=>{try{let i=t==null?void 0:t.path;return i===void 0?await(0,hc.default)(e):await(0,hc.default)(e,{path:i})}catch(i){return n.debug(J(i).message),null}};function tD(e,t){return[s8.default.basename(e),...t.map(i=>i.includes(" ")||i.includes('"')||i.includes("'")?`"${i.replace('"','\\"')}"`:i)].join(" ")}var ls=T(T1(),1);c();async function bp(e,t){await F("unzip",e,t)}c();St();var Ep=class{constructor(t,i,r){if(t<1)throw new Error("max attempts should be greater than or equal to 1");if(this.maxAttempts=t,this.minSeconds=Math.floor(i),this.maxSeconds=Math.floor(r),this.minSeconds>this.maxSeconds)throw new Error("min seconds should be less than or equal to max seconds")}async execute(t,i){let r=1;for(;rsetTimeout(i,t*1e3))}};c();async function ts(e,t){await F("tar",e,t)}ts.isGNU=async()=>{let{stdout:e}=await F("tar",["--version"]);return e.toUpperCase().includes("GNU TAR")};c();var vc="pwsh";async function Cn(e,t){await F(vc,e,t)}Cn.which=async()=>F.which(vc);Cn.exists=async()=>await F.which(vc)!==null;c();var gc="powershell";async function Rn(e,t){await F(gc,e,t)}Rn.which=async()=>F.which(gc);Rn.exists=async()=>await F.which(gc)!==null;var X8=require("node:stream/promises"),J8=T(Y8(),1);var ds=T(require("node:assert"),1),Lc=class extends Error{constructor(i){super(`Unexpected HTTP response: ${i}`);this.httpStatusCode=i;Object.setPrototypeOf(this,new.target.prototype)}};async function Rc(e,t){let[i,r,a]=[3,10,20];return await new Ep(i,r,a).execute(async()=>await XD(e,t),s=>!(s instanceof Lc&&s.httpStatusCode&&s.httpStatusCode<500&&s.httpStatusCode!==408&&s.httpStatusCode!==429))}async function us(e){if(typeof e!="string"){let t=ls.dirSync(e).name;return n.debug(`Created temporary directory ${t}`),await lr.default.mkdirp(t),t}else if(lr.default.existsSync(e)){if(lr.default.statSync(e).isDirectory())return e;throw Error(`Expected directory: ${e}`)}else return await lr.default.mkdirp(e),e}async function KD(e){if(typeof e!="string"){let t=ls.fileSync(e).name;return n.debug(`Created temporary file ${t}`),t}else if(lr.default.existsSync(e)){let t=lr.default.statSync(e);if(t.isDirectory()){let i=ls.fileSync({dir:e}).name;return n.debug(`Created temporary file ${i}`),i}else{if(t.isFile())return e;throw Error(`Expected file or directory: ${e}`)}}else{let t=await us(ci.dirname(e));return ci.join(t,ci.basename(e))}}async function XD(e,t){let i=await KD(t),r=await J8.default.default(e);if(!r.ok||r.body===null)throw new Error(`Could not download ${e}: ${r.statusText}`);{let a=lr.default.createWriteStream(i);return await(0,X8.pipeline)(r.body,a),new Promise((o,s)=>{a.close(p=>{p!=null?s(p):o(i)})})}}async function Dc(e){let t=typeof e=="string"?e:e.url,i=fp(ci.basename(new URL(t).pathname)),r=await us(ci.dirname(i));return(0,ds.default)(r===ci.dirname(i),`ensureDestDir changed the directory: ${r} !== ${ci.dirname(i)}`),i}async function Wr(e,t){switch(typeof e=="string"&&(e={url:e}),t=await us(t),n.debug(`Downloading package from ${e.url}`),e.distType??QD(e.url)){case"zip":{let i=await Dc(e);(0,ds.default)(i===await Rc(e.url,i),"download returned a different path"),await JD(i,t);break}case"tgz":{let i=await Dc(e);(0,ds.default)(i===await Rc(e.url,i),"download returned a different path"),await K8(i,t,["--extract","--gzip"]);break}case"txz":{let i=await Dc(e);(0,ds.default)(i===await Rc(e.url,i),"download returned a different path"),await K8(i,t,["--extract","--xz"]);break}case"git":{await F("git",[["clone"],["--depth=1"],["--single-branch"],e.tag===void 0?[]:["--branch",e.tag],[e.url],[t]].flat()),lr.default.existsSync(ci.join(t,".gitmodules"))&&(await F("git",["submodule","init"],{cwd:t}),await F("git",["submodule","update","--depth=1"],{cwd:t}));break}}return e.dir!==void 0?ci.join(t,e.dir):t}async function JD(e,t){switch(t=await us(t),Y){case"macos":{await bp(["-q","-o",e],{cwd:t});break}case"linux":{await bp(["-q","-o",e],{cwd:t});break}case"windows":{await ZD(e,t);break}}}async function ZD(e,t){let i=e.replace(/'/g,"''").replace(/"|\n|\r/g,""),r=t.replace(/'/g,"''").replace(/"|\n|\r/g,"");if(await Cn.exists()){let o=["-NoLogo","-NoProfile","-NonInteractive","-ExecutionPolicy","Unrestricted","-Command",["$ErrorActionPreference = 'Stop' ;","try { Add-Type -AssemblyName System.IO.Compression.ZipFile } catch { } ;",`try { [System.IO.Compression.ZipFile]::ExtractToDirectory('${i}', '${r}', $true) }`,`catch { if (($_.Exception.GetType().FullName -eq 'System.Management.Automation.MethodException') -or ($_.Exception.GetType().FullName -eq 'System.Management.Automation.RuntimeException') ){ Expand-Archive -LiteralPath '${i}' -DestinationPath '${r}' -Force } else { throw $_ } } ;`].join(" ")];await Cn(o)}else if(await Rn.exists()){let o=["-NoLogo","-Sta","-NoProfile","-NonInteractive","-ExecutionPolicy","Unrestricted","-Command",["$ErrorActionPreference = 'Stop' ;","try { Add-Type -AssemblyName System.IO.Compression.FileSystem } catch { } ;",`if ((Get-Command -Name Expand-Archive -Module Microsoft.PowerShell.Archive -ErrorAction Ignore)) { Expand-Archive -LiteralPath '${i}' -DestinationPath '${r}' -Force }`,`else {[System.IO.Compression.ZipFile]::ExtractToDirectory('${i}', '${r}', $true) }`].join(" ")];await Rn(o)}else throw Error("Could not find pwsh or powershell.")}async function K8(e,t,i){t=await us(t),n.debug("Checking tar --version");let r=await ts.isGNU();return i=i??[],Y==="windows"&&r&&i.push("--force-local"),r&&(i.push("--warning=no-unknown-keyword"),i.push("--overwrite")),Y==="windows"?i.push("-C",t.replace(/\\/g,"/"),"-f",e.replace(/\\/g,"/")):i.push("-C",t,"-f",e),await ts(i),t}function QD(e){let t=new URL(e).pathname;if(t.endsWith(".zip"))return"zip";if(t.endsWith(".tgz")||t.endsWith(".tar.gz"))return"tgz";if(t.endsWith(".txz")||t.endsWith(".tar.xz"))return"txz";if(t.endsWith(".git"))return"git";if(e.match(/\.zip/))return"zip";if(e.match(/\.tgz|\.tar\.gz/))return"tgz";if(e.match(/\.txz|\.tar\.xz/))return"txz";if(e.match(/\.git/))return"git";throw Error(`Could not guess how to download distribution from ${e}`)}c();var Jr=T(require("node:assert"),1),dw=T(require("node:os"),1),$2=T(rg(),1),V2=T(wp(),1),Zp=T(D2(),1);var tw={name:"setup-agda",version:"2.1.0",private:!0,description:"Set up a specific version of Agda.",author:"Wen Kokke",license:"MIT",type:"module",engines:{node:">=16"},dependencies:{"@actions/artifact":"^1.1.0","@actions/core":"^1.6.0","@inquirer/checkbox":"^0.0.30-alpha.0","@inquirer/core":"^0.0.30-alpha.0","@inquirer/select":"^0.0.29-alpha.0",commander:"^9.5.0","ensure-error":"^4.0.0",execa:"^6.1.0",inquirer:"^9.1.4","line-by-line":"^0.1.6","linux-os-info":"^2.0.0","linux-release-info":"^3.0.0","macos-release":"^3.1.0","node-fetch":"^2.6.7 && <3","object.pick":"^1.3.0",pino:"^8.8.0","pino-pretty":"^9.1.1",semver:"^7.3.8","setup-haskell":"file:./vendor/haskell-actions/setup",tmp:"^0.2.1",which:"^3.0.0","windows-release":"^5.1.1"},repository:{type:"git",url:"git+https://github.com/wenkokke/setup-agda.git"},keywords:["actions","node","setup"],scripts:{agdaup:"npm run check-cli && npm run build-cli && node ./dist/cli.cjs",all:"npm run build && npm run format && npm run lint",prebuild:"npm run bundle-data && npm run check",build:"npm run build-action && npm run build-cli && npm run build-readme","build-action":"node ./scripts/build-action.mjs","build-cli":"node ./scripts/build-cli.mjs","build-cli-exe":"node ./scripts/build-cli-exe.mjs","build-readme":"node ./scripts/build-readme.mjs","bundle-data":"node ./scripts/bundle-licenses.mjs && sh ./scripts/bundle-data.sh",check:"npm run check-action && npm run check-cli","check-action":"tsc -noEmit -p ./tsconfig-action.json","check-cli":"tsc -noEmit -p ./tsconfig-cli.json",format:"prettier --write './scripts/*.mjs' '**/*.ts' '**/*.json' '**/*.yml'",lint:"eslint **/*.ts",pretest:"npm run all",test:"npm run test-setup-latest && npm run test-build-latest","test-build-latest":"sh ./scripts/test-action.sh build-latest","test-setup-latest":"sh ./scripts/test-action.sh setup-latest"},devDependencies:{"@actions/cache":"^3.1.2","@types/fs-extra":"^11.0.1","@types/glob":"^8.0.0","@types/inquirer":"^9.0.3","@types/js-yaml":"^4.0.5","@types/line-by-line":"^0.1.6","@types/mute-stream":"^0.0.1","@types/node":"^18.11.17","@types/node-fetch":"^2.6.2","@types/nunjucks":"^3.2.1","@types/object.pick":"^1.3.2","@types/semver":"^7.3.13","@types/tmp":"^0.2.3","@types/which":"^2.0.1","@typescript-eslint/eslint-plugin":"^5.48.1","@vercel/ncc":"^0.36.0",esbuild:"^0.16.16",eslint:"^8.31.0","eslint-config-prettier":"^8.6.0","eslint-config-standard-with-typescript":"^26.0.0","eslint-plugin-import":"^2.26.0","eslint-plugin-n":"^15.6.0","eslint-plugin-prettier":"^4.2.1","eslint-plugin-promise":"^6.1.1","js-yaml":"^4.1.0",nunjucks:"^3.2.3",pkg:"^5.8.0",prettier:"2.8.1","ts-node":"^10.9.1",typescript:"^4.9.4"},bin:"./lib/cli.js",pkg:{compress:"GZip",scripts:["./lib/commands/*.js","./lib/data/**/*.json","./lib/data/**/*.js","./lib/util/**/*.js"],outputPath:"bin",targets:["node16-linux-x64","node16-macos-x64","node16-win-x64"]}};var iw={name:"Setup Agda",author:"Wen Kokke",description:"Set up a specific version of Agda.",inputs:{"agda-version":{default:"latest",description:`The Agda version. +`);return w?(r.originalMessage=r.message,r.message=S):r=new Error(S),r.shortMessage=E,r.command=s,r.escapedCommand=p,r.exitCode=o,r.signal=a,r.signalDescription=f,r.stdout=e,r.stderr=t,i!==void 0&&(r.all=i),"bufferedData"in r&&delete r.bufferedData,r.failed=!0,r.timedOut=Boolean(d),r.isCanceled=l,r.killed=u&&!d,r};c();var yp=["stdin","stdout","stderr"],CR=e=>yp.some(t=>e[t]!==void 0),S5=e=>{if(!e)return;let{stdio:t}=e;if(t===void 0)return yp.map(r=>e[r]);if(CR(e))throw new Error(`It's not possible to provide \`stdio\` in combination with one of ${yp.map(r=>`\`${r}\``).join(", ")}`);if(typeof t=="string")return t;if(!Array.isArray(t))throw new TypeError(`Expected \`stdio\` to be of type \`string\` or \`Array\`, got \`${typeof t}\``);let i=Math.max(t.length,yp.length);return Array.from({length:i},(r,a)=>t[a])};c();var _5=T(require("node:os"),1),A5=T(zu(),1),RR=1e3*5,x5=(e,t="SIGTERM",i={})=>{let r=e(t);return DR(e,t,i,r),r},DR=(e,t,i,r)=>{if(!LR(t,i,r))return;let a=FR(i),o=setTimeout(()=>{e("SIGKILL")},a);o.unref&&o.unref()},LR=(e,{forceKillAfterTimeout:t},i)=>PR(e)&&t!==!1&&i,PR=e=>e===_5.default.constants.signals.SIGTERM||typeof e=="string"&&e.toUpperCase()==="SIGTERM",FR=({forceKillAfterTimeout:e=!0})=>{if(e===!0)return RR;if(!Number.isFinite(e)||e<0)throw new TypeError(`Expected the \`forceKillAfterTimeout\` option to be a non-negative integer, got \`${e}\` (${typeof e})`);return e},T5=(e,t)=>{e.kill()&&(t.isCanceled=!0)},kR=(e,t,i)=>{e.kill(t),i(Object.assign(new Error("Timed out"),{timedOut:!0,signal:t}))},O5=(e,{timeout:t,killSignal:i="SIGTERM"},r)=>{if(t===0||t===void 0)return r;let a,o=new Promise((p,d)=>{a=setTimeout(()=>{kR(e,i,d)},t)}),s=r.finally(()=>{clearTimeout(a)});return Promise.race([o,s])},N5=({timeout:e})=>{if(e!==void 0&&(!Number.isFinite(e)||e<0))throw new TypeError(`Expected the \`timeout\` option to be a non-negative integer, got \`${e}\` (${typeof e})`)},I5=async(e,{cleanup:t,detached:i},r)=>{if(!t||i)return r;let a=(0,A5.default)(()=>{e.kill()});return r.finally(()=>{a()})};c();c();function C5(e){return e!==null&&typeof e=="object"&&typeof e.pipe=="function"}var lc=T(Yu(),1),R5=T(Ku(),1),D5=(e,t)=>{t===void 0||e.stdin===void 0||(C5(t)?t.pipe(e.stdin):e.stdin.end(t))},L5=(e,{all:t})=>{if(!t||!e.stdout&&!e.stderr)return;let i=(0,R5.default)();return e.stdout&&i.add(e.stdout),e.stderr&&i.add(e.stderr),i},pc=async(e,t)=>{if(e){e.destroy();try{return await t}catch(i){return i.bufferedData}}},dc=(e,{encoding:t,buffer:i,maxBuffer:r})=>{if(!(!e||!i))return t?(0,lc.default)(e,{encoding:t,maxBuffer:r}):lc.default.buffer(e,{maxBuffer:r})},P5=async({stdout:e,stderr:t,all:i},{encoding:r,buffer:a,maxBuffer:o},s)=>{let p=dc(e,{encoding:r,buffer:a,maxBuffer:o}),d=dc(t,{encoding:r,buffer:a,maxBuffer:o}),l=dc(i,{encoding:r,buffer:a,maxBuffer:o*2});try{return await Promise.all([s,p,d,l])}catch(u){return Promise.all([{error:u,signal:u.signal,timedOut:u.timedOut},pc(e,p),pc(t,d),pc(i,l)])}};c();var BR=(async()=>{})().constructor.prototype,$R=["then","catch","finally"].map(e=>[e,Reflect.getOwnPropertyDescriptor(BR,e)]),uc=(e,t)=>{for(let[i,r]of $R){let a=typeof t=="function"?(...o)=>Reflect.apply(r.value,t(),o):r.value.bind(t);Reflect.defineProperty(e,i,{...r,value:a})}return e},F5=e=>new Promise((t,i)=>{e.on("exit",(r,a)=>{t({exitCode:r,signal:a})}),e.on("error",r=>{i(r)}),e.stdin&&e.stdin.on("error",r=>{i(r)})});c();var k5=(e,t=[])=>Array.isArray(t)?[e,...t]:[e],qR=/^[\w.-]+$/,VR=/"/g,jR=e=>typeof e!="string"||qR.test(e)?e:`"${e.replace(VR,'\\"')}"`,B5=(e,t)=>k5(e,t).join(" "),$5=(e,t)=>k5(e,t).map(i=>jR(i)).join(" ");var MR=1e3*1e3*100,UR=({env:e,extendEnv:t,preferLocal:i,localDir:r,execPath:a})=>{let o=t?{...es.default.env,...e}:e;return i?m5({env:o,cwd:r,execPath:a}):o},GR=(e,t,i={})=>{let r=j5.default._parse(e,t,i);return e=r.command,t=r.args,i=r.options,i={maxBuffer:MR,buffer:!0,stripFinalNewline:!0,extendEnv:!0,preferLocal:!1,localDir:i.cwd||es.default.cwd(),execPath:es.default.execPath,encoding:"utf8",reject:!0,cleanup:!0,all:!1,windowsHide:!0,...i},i.env=UR(i),i.stdio=S5(i),es.default.platform==="win32"&&V5.default.basename(e,".exe")==="cmd"&&t.unshift("/q"),{file:e,args:t,options:i,parsed:r}},cc=(e,t,i)=>typeof t!="string"&&!q5.Buffer.isBuffer(t)?i===void 0?void 0:"":e.stripFinalNewline?rc(t):t;function M5(e,t,i){let r=GR(e,t,i),a=B5(e,t),o=$5(e,t);N5(r.options);let s;try{s=mc.default.spawn(r.file,r.args,r.options)}catch(h){let g=new mc.default.ChildProcess,b=Promise.reject(sc({error:h,stdout:"",stderr:"",all:"",command:a,escapedCommand:o,parsed:r,timedOut:!1,isCanceled:!1,killed:!1}));return uc(g,b)}let p=F5(s),d=O5(s,r.options,p),l=I5(s,r.options,d),u={isCanceled:!1};s.kill=x5.bind(null,s.kill.bind(s)),s.cancel=T5.bind(null,s,u);let f=h5(async()=>{let[{error:h,exitCode:g,signal:b,timedOut:w},E,S,A]=await P5(s,r.options,l),O=cc(r.options,E),B=cc(r.options,S),$=cc(r.options,A);if(h||g!==0||b!==null){let he=sc({error:h,exitCode:g,signal:b,stdout:O,stderr:B,all:$,command:a,escapedCommand:o,parsed:r,timedOut:w,isCanceled:u.isCanceled||(r.options.signal?r.options.signal.aborted:!1),killed:s.killed});if(!r.options.reject)return he;throw he}return{command:a,escapedCommand:o,exitCode:0,stdout:O,stderr:B,all:$,failed:!1,timedOut:!1,isCanceled:!1,killed:!1}});return D5(s,r.options.input),s.all=L5(s,r.options),uc(s,f)}var s8=T(require("node:path"),1),p8=T(wp(),1),hc=T(i8(),1);c();var o8=T(n8(),1);function eD(e,t){if(t!==void 0&&t!=="silent")switch(t){case"trace":return n.debug(e);case"debug":return n.debug(e);case"info":return n.info(e);case"warning":return n.warning(e);case"error":return n.error(e);case"fatal":return n.setFailed(e)}}function fc(e,t){if(t!==void 0&&t!=="silent"){let i=new o8.default(e);i.on("error",n.error),i.on("line",r=>eD(r,t))}}var F=d8;async function d8(e,t,i){n.debug(tD(e,t));let r=M5(e,t,{cwd:i==null?void 0:i.cwd,env:{...i==null?void 0:i.env,PATH:process.env.PATH}});r.stdout!==null&&fc(r.stdout,"debug"),r.stderr!==null&&fc(r.stderr,"debug");let a=await r;if(a.failed)throw a;return(0,p8.default)(a,["stdout","stderr"])}d8.which=async(e,t)=>{try{let i=t==null?void 0:t.path;return i===void 0?await(0,hc.default)(e):await(0,hc.default)(e,{path:i})}catch(i){return n.debug(J(i).message),null}};function tD(e,t){return[s8.default.basename(e),...t.map(i=>i.includes(" ")||i.includes('"')||i.includes("'")?`"${i.replace('"','\\"')}"`:i)].join(" ")}var ls=T(T1(),1);c();async function bp(e,t){await F("unzip",e,t)}c();St();var Ep=class{constructor(t,i,r){if(t<1)throw new Error("max attempts should be greater than or equal to 1");if(this.maxAttempts=t,this.minSeconds=Math.floor(i),this.maxSeconds=Math.floor(r),this.minSeconds>this.maxSeconds)throw new Error("min seconds should be less than or equal to max seconds")}async execute(t,i){let r=1;for(;rsetTimeout(i,t*1e3))}};c();async function ts(e,t){await F("tar",e,t)}ts.isGNU=async()=>{let{stdout:e}=await F("tar",["--version"]);return e.toUpperCase().includes("GNU TAR")};c();var vc="pwsh";async function Cn(e,t){await F(vc,e,t)}Cn.which=async()=>F.which(vc);Cn.exists=async()=>await F.which(vc)!==null;c();var gc="powershell";async function Rn(e,t){await F(gc,e,t)}Rn.which=async()=>F.which(gc);Rn.exists=async()=>await F.which(gc)!==null;var X8=require("node:stream/promises"),J8=T(Y8(),1);var ds=T(require("node:assert"),1),Lc=class extends Error{constructor(i){super(`Unexpected HTTP response: ${i}`);this.httpStatusCode=i;Object.setPrototypeOf(this,new.target.prototype)}};async function Rc(e,t){let[i,r,a]=[3,10,20];return await new Ep(i,r,a).execute(async()=>await XD(e,t),s=>!(s instanceof Lc&&s.httpStatusCode&&s.httpStatusCode<500&&s.httpStatusCode!==408&&s.httpStatusCode!==429))}async function us(e){if(typeof e!="string"){let t=ls.dirSync(e).name;return n.debug(`Created temporary directory ${t}`),await lr.default.mkdirp(t),t}else if(lr.default.existsSync(e)){if(lr.default.statSync(e).isDirectory())return e;throw Error(`Expected directory: ${e}`)}else return await lr.default.mkdirp(e),e}async function KD(e){if(typeof e!="string"){let t=ls.fileSync(e).name;return n.debug(`Created temporary file ${t}`),t}else if(lr.default.existsSync(e)){let t=lr.default.statSync(e);if(t.isDirectory()){let i=ls.fileSync({dir:e}).name;return n.debug(`Created temporary file ${i}`),i}else{if(t.isFile())return e;throw Error(`Expected file or directory: ${e}`)}}else{let t=await us(ci.dirname(e));return ci.join(t,ci.basename(e))}}async function XD(e,t){let i=await KD(t),r=await J8.default.default(e);if(!r.ok||r.body===null)throw new Error(`Could not download ${e}: ${r.statusText}`);{let a=lr.default.createWriteStream(i);return await(0,X8.pipeline)(r.body,a),new Promise((o,s)=>{a.close(p=>{p!=null?s(p):o(i)})})}}async function Dc(e){let t=typeof e=="string"?e:e.url,i=fp(ci.basename(new URL(t).pathname)),r=await us(ci.dirname(i));return(0,ds.default)(r===ci.dirname(i),`ensureDestDir changed the directory: ${r} !== ${ci.dirname(i)}`),i}async function Wr(e,t){switch(typeof e=="string"&&(e={url:e}),t=await us(t),n.debug(`Downloading package from ${e.url}`),e.distType??QD(e.url)){case"zip":{let i=await Dc(e);(0,ds.default)(i===await Rc(e.url,i),"download returned a different path"),await JD(i,t);break}case"tgz":{let i=await Dc(e);(0,ds.default)(i===await Rc(e.url,i),"download returned a different path"),await K8(i,t,["--extract","--gzip"]);break}case"txz":{let i=await Dc(e);(0,ds.default)(i===await Rc(e.url,i),"download returned a different path"),await K8(i,t,["--extract","--xz"]);break}case"git":{await F("git",[["clone"],["--depth=1"],["--single-branch"],e.tag===void 0?[]:["--branch",e.tag],[e.url],[t]].flat()),lr.default.existsSync(ci.join(t,".gitmodules"))&&(await F("git",["submodule","init"],{cwd:t}),await F("git",["submodule","update","--depth=1"],{cwd:t}));break}}return e.dir!==void 0?ci.join(t,e.dir):t}async function JD(e,t){switch(t=await us(t),Y){case"macos":{await bp(["-q","-o",e],{cwd:t});break}case"linux":{await bp(["-q","-o",e],{cwd:t});break}case"windows":{await ZD(e,t);break}}}async function ZD(e,t){let i=e.replace(/'/g,"''").replace(/"|\n|\r/g,""),r=t.replace(/'/g,"''").replace(/"|\n|\r/g,"");if(await Cn.exists()){let o=["-NoLogo","-NoProfile","-NonInteractive","-ExecutionPolicy","Unrestricted","-Command",["$ErrorActionPreference = 'Stop' ;","try { Add-Type -AssemblyName System.IO.Compression.ZipFile } catch { } ;",`try { [System.IO.Compression.ZipFile]::ExtractToDirectory('${i}', '${r}', $true) }`,`catch { if (($_.Exception.GetType().FullName -eq 'System.Management.Automation.MethodException') -or ($_.Exception.GetType().FullName -eq 'System.Management.Automation.RuntimeException') ){ Expand-Archive -LiteralPath '${i}' -DestinationPath '${r}' -Force } else { throw $_ } } ;`].join(" ")];await Cn(o)}else if(await Rn.exists()){let o=["-NoLogo","-Sta","-NoProfile","-NonInteractive","-ExecutionPolicy","Unrestricted","-Command",["$ErrorActionPreference = 'Stop' ;","try { Add-Type -AssemblyName System.IO.Compression.FileSystem } catch { } ;",`if ((Get-Command -Name Expand-Archive -Module Microsoft.PowerShell.Archive -ErrorAction Ignore)) { Expand-Archive -LiteralPath '${i}' -DestinationPath '${r}' -Force }`,`else {[System.IO.Compression.ZipFile]::ExtractToDirectory('${i}', '${r}', $true) }`].join(" ")];await Rn(o)}else throw Error("Could not find pwsh or powershell.")}async function K8(e,t,i){t=await us(t),n.debug("Checking tar --version");let r=await ts.isGNU();return i=i??[],Y==="windows"&&r&&i.push("--force-local"),r&&(i.push("--warning=no-unknown-keyword"),i.push("--overwrite")),Y==="windows"?i.push("-C",t.replace(/\\/g,"/"),"-f",e.replace(/\\/g,"/")):i.push("-C",t,"-f",e),await ts(i),t}function QD(e){let t=new URL(e).pathname;if(t.endsWith(".zip"))return"zip";if(t.endsWith(".tgz")||t.endsWith(".tar.gz"))return"tgz";if(t.endsWith(".txz")||t.endsWith(".tar.xz"))return"txz";if(t.endsWith(".git"))return"git";if(e.match(/\.zip/))return"zip";if(e.match(/\.tgz|\.tar\.gz/))return"tgz";if(e.match(/\.txz|\.tar\.xz/))return"txz";if(e.match(/\.git/))return"git";throw Error(`Could not guess how to download distribution from ${e}`)}c();var Jr=T(require("node:assert"),1),dw=T(require("node:os"),1),$2=T(rg(),1),V2=T(wp(),1),Zp=T(D2(),1);var tw={name:"setup-agda",version:"2.2.0",private:!0,description:"Set up a specific version of Agda.",author:"Wen Kokke",license:"MIT",type:"module",engines:{node:">=16"},dependencies:{"@actions/artifact":"^1.1.0","@actions/core":"^1.6.0","@inquirer/checkbox":"^0.0.30-alpha.0","@inquirer/core":"^0.0.30-alpha.0","@inquirer/select":"^0.0.29-alpha.0",commander:"^9.5.0","ensure-error":"^4.0.0",execa:"^6.1.0",inquirer:"^9.1.4","line-by-line":"^0.1.6","linux-os-info":"^2.0.0","linux-release-info":"^3.0.0","macos-release":"^3.1.0","node-fetch":"^2.6.7 && <3","object.pick":"^1.3.0",pino:"^8.8.0","pino-pretty":"^9.1.1",semver:"^7.3.8","setup-haskell":"file:./vendor/haskell-actions/setup",tmp:"^0.2.1",which:"^3.0.0","windows-release":"^5.1.1"},repository:{type:"git",url:"git+https://github.com/wenkokke/setup-agda.git"},keywords:["actions","node","setup"],scripts:{agdaup:"npm run check-cli && npm run build-cli && node ./dist/cli.cjs",all:"npm run build && npm run format && npm run lint",prebuild:"npm run bundle-data && npm run check",build:"npm run build-action && npm run build-cli && npm run build-readme","build-action":"node ./scripts/build-action.mjs","build-cli":"node ./scripts/build-cli.mjs","build-cli-exe":"node ./scripts/build-cli-exe.mjs","build-readme":"node ./scripts/build-readme.mjs","bundle-data":"node ./scripts/bundle-licenses.mjs && sh ./scripts/bundle-data.sh",check:"npm run check-action && npm run check-cli","check-action":"tsc -noEmit -p ./tsconfig-action.json","check-cli":"tsc -noEmit -p ./tsconfig-cli.json",format:"prettier --write './scripts/*.mjs' '**/*.ts' '**/*.json' '**/*.yml'",lint:"eslint **/*.ts",pretest:"npm run all",test:"npm run test-setup-latest && npm run test-build-latest","test-build-latest":"sh ./scripts/test-action.sh build-latest","test-setup-latest":"sh ./scripts/test-action.sh setup-latest"},devDependencies:{"@actions/cache":"^3.1.2","@types/fs-extra":"^11.0.1","@types/glob":"^8.0.0","@types/inquirer":"^9.0.3","@types/js-yaml":"^4.0.5","@types/line-by-line":"^0.1.6","@types/mute-stream":"^0.0.1","@types/node":"^18.11.17","@types/node-fetch":"^2.6.2","@types/nunjucks":"^3.2.1","@types/object.pick":"^1.3.2","@types/semver":"^7.3.13","@types/tmp":"^0.2.3","@types/which":"^2.0.1","@typescript-eslint/eslint-plugin":"^5.48.1","@vercel/ncc":"^0.36.0",esbuild:"^0.16.16",eslint:"^8.31.0","eslint-config-prettier":"^8.6.0","eslint-config-standard-with-typescript":"^26.0.0","eslint-plugin-import":"^2.26.0","eslint-plugin-n":"^15.6.0","eslint-plugin-prettier":"^4.2.1","eslint-plugin-promise":"^6.1.1","js-yaml":"^4.1.0",nunjucks:"^3.2.3",pkg:"^5.8.0",prettier:"2.8.1","ts-node":"^10.9.1",typescript:"^4.9.4"},bin:"./lib/cli.js",pkg:{compress:"GZip",scripts:["./lib/commands/*.js","./lib/data/**/*.json","./lib/data/**/*.js","./lib/util/**/*.js"],outputPath:"bin",targets:["node16-linux-x64","node16-macos-x64","node16-win-x64"]}};var iw={name:"Setup Agda",author:"Wen Kokke",description:"Set up a specific version of Agda.",inputs:{"agda-version":{default:"latest",description:`The Agda version. Can be "latest" or a specific version number (e.g., 2.6.2.2). `,required:!1},"agda-stdlib-version":{default:"none",description:`The Agda standard library version. diff --git a/package.json b/package.json index 0cce303..63ba09c 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "setup-agda", - "version": "2.1.0", + "version": "2.2.0", "private": true, "description": "Set up a specific version of Agda.", "author": "Wen Kokke", diff --git a/src/data/setup-agda/package.json b/src/data/setup-agda/package.json index 0cce303..63ba09c 100644 --- a/src/data/setup-agda/package.json +++ b/src/data/setup-agda/package.json @@ -1,6 +1,6 @@ { "name": "setup-agda", - "version": "2.1.0", + "version": "2.2.0", "private": true, "description": "Set up a specific version of Agda.", "author": "Wen Kokke",