package.json

{
  "name": "setup-z3",
  "version": "1.1.0",
  "description": "A GitHub action to set up a specific version of the Z3 theorem prover in a GitHub Actions workflow.",
  "main": "./dist/index.js",
  "exports": "./dist/index.js",
  "type": "module",
  "engines": {
    "node": ">=20"
  },
  "scripts": {
    "build": "npx ncc build src/main.ts -o dist --source-map --license licenses.txt",
    "lint": "npx eslint . -c .github/linters/eslint.config.mjs",
    "test": "npx jest",
    "all": "npm run lint && npm test && npm run build"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/cda-tum/setup-z3.git"
  },
  "keywords": [
    "GitHub",
    "Actions",
    "JavaScript",
    "z3"
  ],
  "author": "cda-tum",
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/cda-tum/setup-z3/issues"
  },
  "homepage": "https://github.com/cda-tum/setup-z3#readme",
  "dependencies": {
    "@actions/core": "^1.11.1",
    "@actions/tool-cache": "^2.0.2",
    "@octokit/core": "^6.1.3",
    "@octokit/openapi-types": "^23.0.1",
    "node-fetch-retry": "^2.0.1"
  },
  "devDependencies": {
    "@actions/exec": "^1.1.1",
    "@babel/preset-env": "^7.26.8",
    "@babel/preset-typescript": "^7.26.0",
    "@eslint/js": "^9.20.0",
    "@jest/globals": "^29.7.0",
    "@types/eslint__js": "^8.42.3",
    "@types/jest": "^29.5.14",
    "@types/node": "^22.13.1",
    "@vercel/ncc": "^0.38.3",
    "babel-jest": "^29.7.0",
    "eslint": "^9.20.0",
    "eslint-plugin-jest": "^28.11.0",
    "jest": "^29.7.0",
    "js-yaml": "^4.1.0",
    "typescript": "^5.7.3",
    "typescript-eslint": "^8.23.0"
  },
  "jest": {
    "verbose": true,
    "clearMocks": true,
    "testPathIgnorePatterns": [
      "/node_modules/",
      "/dist/"
    ],
    "coverageReporters": [
      "json-summary",
      "text",
      "lcov"
    ],
    "collectCoverage": true,
    "collectCoverageFrom": [
      "./src/**"
    ],
    "transform": {
      "^.+\\.[t|j]sx?$": "babel-jest"
    },
    "transformIgnorePatterns": [
      "/node_modules/",
      "/dist/"
    ]
  }
}