package.json

{
  "name": "setup-aya",
  "version": "1.0.0",
  "private": true,
  "description": "Set up Aya in your GitHub Actions workflow.",
  "main": "lib/main.js",
  "packageManager": "pnpm@8.4.0",
  "scripts": {
    "build": "tsc",
    "package": "tsc && ncc build --source-map --license licenses.txt"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/aya-prover/setup-aya.git"
  },
  "keywords": [
    "actions",
    "setup",
    "aya",
    "aya-prover"
  ],
  "author": "Aya Prover",
  "license": "MIT",
  "dependencies": {
    "@actions/core": "^1.10.0",
    "@actions/http-client": "^2.1.0",
    "@actions/tool-cache": "^2.0.1",
    "@actions/exec": "^1.1.1"
  },
  "devDependencies": {
    "@types/node": "^20.1.0",
    "@typescript-eslint/parser": "^5.59.2",
    "@vercel/ncc": "^0.36.1",
    "eslint": "^8.40.0",
    "eslint-plugin-github": "^4.7.0",
    "eslint-plugin-jest": "^27.2.1",
    "jest": "^29.5.0",
    "js-yaml": "^4.1.0",
    "prettier": "2.8.8",
    "ts-jest": "^29.1.0",
    "typescript": "^5.0.4"
  }
}