https://github.com/cda-tum/setup-z3 - Release 1.6.7

👀 What Changed

This is a small patch release that includes the latest versions of the dependencies.

⬆️ Dependencies

9 changes

- ⬆️ Bump the development-dependencies group across 1 directory with 9 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#396) - ⬆️ Bump @octokit/core from 7.0.2 to 7.0.3 in the production-dependencies group @[dependabot[bot]](https://github.com/apps/dependabot) (#389) - ⬆️ Bump actions/setup-node from 4.4.0 to 5.0.0 in the github-actions group @[dependabot[bot]](https://github.com/apps/dependabot) (#397) - ⬆️ Bump actions/checkout from 4 to 5 in the github-actions group @[dependabot[bot]](https://github.com/apps/dependabot) (#395) - ⬆️🪝 update pre-commit hooks @[pre-commit-ci[bot]](https://github.com/apps/pre-commit-ci) (#393) - ⬆️ Bump the development-dependencies group with 4 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#390) - ⬆️ Bump the development-dependencies group with 8 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#388) - ⬆️ Bump the development-dependencies group with 6 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#387) - ⬆️ Bump the development-dependencies group with 7 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#386)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.6.6...v1.6.7

- TypeScript
Published by github-actions[bot] 11 months ago

https://github.com/cda-tum/setup-z3 - Release 1.6.6

👀 What Changed

This is a small patch release that includes the latest versions of the dependencies.

⬆️ Dependencies

23 changes

- ⬆️ Bump the production-dependencies group with 2 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#381) - ⬆️ Bump the development-dependencies group with 8 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#385) - ⬆️ Bump the development-dependencies group with 3 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#384) - ⬆️ Bump the development-dependencies group with 5 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#383) - ⬆️ Bump @types/node from 22.15.19 to 22.15.21 in the development-dependencies group @[dependabot[bot]](https://github.com/apps/dependabot) (#382) - ⬆️ Bump the development-dependencies group with 4 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#380) - ⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm\_and\_yarn group @[dependabot[bot]](https://github.com/apps/dependabot) (#379) - ⬆️ Bump the development-dependencies group with 3 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#378) - ⬆️ Bump the production-dependencies group with 2 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#373) - ⬆️ Bump the development-dependencies group with 6 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#377) - ⬆️ Bump the development-dependencies group with 4 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#376) - ⬆️ Bump the development-dependencies group with 3 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#375) - ⬆️ Bump the development-dependencies group with 2 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#374) - ⬆️ Bump actions/setup-node from 4.3.0 to 4.4.0 in the github-actions group @[dependabot[bot]](https://github.com/apps/dependabot) (#372) - ⬆️ Bump the development-dependencies group with 5 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#371) - ⬆️ Bump the development-dependencies group with 3 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#370) - ⬆️ Bump the development-dependencies group with 4 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#369) - ⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the production-dependencies group @[dependabot[bot]](https://github.com/apps/dependabot) (#368) - ⬆️ Bump actions/setup-node from 4.2.0 to 4.3.0 in the github-actions group @[dependabot[bot]](https://github.com/apps/dependabot) (#367) - ⬆️ Bump typescript-eslint from 8.26.0 to 8.26.1 in the development-dependencies group @[dependabot[bot]](https://github.com/apps/dependabot) (#366) - ⬆️ Bump the development-dependencies group across 1 directory with 6 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#365) - ⬆️ Bump the production-dependencies group with 2 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#361) - ⬆️ Bump the development-dependencies group with 4 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#362)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.6.5...v1.6.6

- TypeScript
Published by github-actions[bot] about 1 year ago

https://github.com/cda-tum/setup-z3 - Release 1.6.5

👀 What Changed

Another small release that fixes a security vulnerability in one of the action's dependencies (see #359 and #360 for further details).

⬆️ Dependencies

8 changes

- ⬆️ Bump the npm\_and\_yarn group with 2 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#360) - ⬆️ Bump @octokit/endpoint from 10.1.2 to 10.1.3 in the npm\_and\_yarn group @[dependabot[bot]](https://github.com/apps/dependabot) (#359) - ⬆️ Bump the development-dependencies group with 5 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#358) - ⬆️🪝 update pre-commit hooks @[pre-commit-ci[bot]](https://github.com/apps/pre-commit-ci) (#357) - ⬆️ Bump the development-dependencies group with 2 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#356) - ⬆️🪝 update pre-commit hooks @[pre-commit-ci[bot]](https://github.com/apps/pre-commit-ci) (#355) - ⬆️ Bump the development-dependencies group with 5 updates @[dependabot[bot]](https://github.com/apps/dependabot) (#353) - ⬆️ Bump actions/setup-node from 4.1.0 to 4.2.0 in the github-actions group @[dependabot[bot]](https://github.com/apps/dependabot) (#354)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.6.4...v1.6.5

- TypeScript
Published by github-actions[bot] over 1 year ago

https://github.com/cda-tum/setup-z3 - Release 1.6.4

👀 What Changed

Just another release with some dependency updates and a fixed security vulnerability.

⬆️ Dependencies

• ⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group @dependabot[bot] (#352)
• ⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group @dependabot[bot] (#350)
• ⬆️ Bump the development-dependencies group with 3 updates @dependabot[bot] (#351)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.6.3...v1.6.4

- TypeScript
Published by github-actions[bot] over 1 year ago

https://github.com/cda-tum/setup-z3 - Release 1.6.3

👀 What Changed

A small dependency update to kick off 2025.

⬆️ Dependencies

• ⬆️ Bump the production-dependencies group across 1 directory with 2 updates @dependabot (#348)
• ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#349)
• ⬆️ Bump the development-dependencies group with 2 updates @dependabot (#347)
• ⬆️ Bump typescript-eslint from 8.18.1 to 8.18.2 in the development-dependencies group @dependabot (#345)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.6.2...v1.6.3

- TypeScript
Published by github-actions[bot] over 1 year ago

https://github.com/cda-tum/setup-z3 - Release 1.6.2

👀 What Changed

🎄 Merry Christmas 🎄

This release merely contains a couple weeks full of dependency updates.

⬆️ Dependencies

12 changes

- ⬆️ Bump the development-dependencies group with 2 updates @dependabot (#344) - ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#343) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#342) - ⬆️ Bump typescript-eslint from 8.16.0 to 8.17.0 in the development-dependencies group @dependabot (#341) - ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#340) - ⬆️ Bump the development-dependencies group across 1 directory with 6 updates @dependabot (#339) - ⬆️ Bump the development-dependencies group with 3 updates @dependabot (#337) - ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#336) - ⬆️ Bump actions/setup-node from 4.0.4 to 4.1.0 in the github-actions group @dependabot (#335) - ⬆️ Bump the development-dependencies group with 5 updates @dependabot (#334) - ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#333) - ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#332)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.6.1...v1.6.2

- TypeScript
Published by github-actions[bot] over 1 year ago

https://github.com/cda-tum/setup-z3 - Release 1.6.1

👀 What Changed

This small release adds some special handling to support version 4.8.5, which was tagged slightly differently than other versions.

🚀 Features and Enhancements

• 🚸 Special case version 4.8.5 @mtzguido (#331)

⬆️ Dependencies

6 changes

- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#330) - ⬆️ Bump @actions/core from 1.10.1 to 1.11.1 in the production-dependencies group @dependabot (#328) - ⬆️ Bump the development-dependencies group across 1 directory with 7 updates @dependabot (#329) - ⬆️ Bump the development-dependencies group with 3 updates @dependabot (#326) - ⬆️ Bump actions/setup-node from 4.0.3 to 4.0.4 in the github-actions group @dependabot (#325) - ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#324)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.6.0...v1.6.1

- TypeScript
Published by github-actions[bot] almost 2 years ago

https://github.com/cda-tum/setup-z3 - Release 1.6.0

👀 What Changed

Starting with this minor release it is no longer necessary to specify the GITHUB_TOKEN environment variable when using this action. A new (optional) token input has been added, that defaults to the repositories GitHub token.

🚀 Features and Enhancements

• 🚸 automatically use GitHub token @burgholzer (#323)

⬆️ Dependencies

• ⬆️ Bump the development-dependencies group with 5 updates @dependabot (#322)
• ⬆️ Bump the development-dependencies group with 3 updates @dependabot (#320)
• ⬆️ Bump the development-dependencies group with 5 updates @dependabot (#319)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#318)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.5.0...v1.6.0

- TypeScript
Published by github-actions[bot] almost 2 years ago

https://github.com/cda-tum/setup-z3 - Release 1.5.0

👀 What Changed

Migrated the ESLint configuration to ESLint v9 and reworked the dev-dependencies. No user-facing, breaking changes.

⬆️ Dependencies

• ⬆️🔧♻️ Bump the development-dependencies and update ESLint configuration @dependabot (#317)
• Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#314)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.4.1...v1.5.0

- TypeScript
Published by github-actions[bot] almost 2 years ago

https://github.com/cda-tum/setup-z3 - Release 1.4.1

👀 What Changed

A small release with some dependency updates and a few infrastructure changes. No major user-facing changes.

🤖 CI

• Build(deps-dev): Bump the development-dependencies group across 1 directory with 5 updates @dependabot (#313)

⬆️ Dependencies

8 changes

- Build(deps-dev): Bump the development-dependencies group across 1 directory with 5 updates @dependabot (#313) - Build(deps): Bump actions/setup-node from 4.0.2 to 4.0.3 in the github-actions group @dependabot (#311) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#310) - Build(deps-dev): Bump braces from 3.0.2 to 3.0.3 in the npm\_and\_yarn group @dependabot (#309) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#308) - Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#307) - Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#306) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#305)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.4.0...v1.4.1

- TypeScript
Published by github-actions[bot] about 2 years ago

https://github.com/cda-tum/setup-z3 - Release 1.4.0

👀 What Changed

Updated to the latest release of @octokit/action which broke a couple of things and required some adjustments to the package configuration. Users of the action should not be affected.

⬆️ Dependencies

6 changes

- Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the production-dependencies group @dependabot (#304) - Build(deps): Bump @octokit/openapi-types from 22.1.0 to 22.2.0 in the production-dependencies group @dependabot (#303) - Build(deps): Bump @octokit/openapi-types from 22.0.1 to 22.1.0 in the production-dependencies group @dependabot (#302) - Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#301) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#300) - Build(deps): Bump the production-dependencies group with 3 updates @dependabot (#299)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.3.1...v1.4.0

- TypeScript
Published by github-actions[bot] about 2 years ago

https://github.com/cda-tum/setup-z3 - Release 1.3.1

👀 What Changed

⬆️ Dependencies

21 changes

- Build(deps): Bump undici from 6.6.2 to 6.11.1 @dependabot (#298) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#297) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#296) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#295) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#294) - Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#291) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#293) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#292) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#290) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#288) - Build(deps): Bump undici from 6.0.1 to 6.6.2 @dependabot (#287) - Build(deps): Bump the github-actions group with 1 update @dependabot (#286) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#285) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#284) - Build(deps): Bump the github-actions group with 1 update @dependabot (#283) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#282) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#281) - Build(deps): Bump the production-dependencies group with 1 update @dependabot (#279) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#280) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#278) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#277)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.3.0...v1.3.1

- TypeScript
Published by github-actions[bot] over 2 years ago

https://github.com/cda-tum/setup-z3 - Release 1.3.0

👀 What Changed

🚀 Features and Enhancements

• Add the ability to link against the downloaded Z3 version @daemontus (#275)

⬆️ Dependencies

29 changes

- Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#276) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#274) - Build(deps): Bump the github-actions group with 1 update @dependabot (#273) - Build(deps-dev): Bump the development-dependencies group with 2 updates @dependabot (#272) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#271) - Build(deps): Bump the github-actions group with 2 updates @dependabot (#270) - Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#269) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#268) - Build(deps): Bump the production-dependencies group with 1 update @dependabot (#266) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#267) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#265) - Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#263) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#264) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#262) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#261) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#259) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#258) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#257) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#256) - Build(deps-dev): Bump the development-dependencies group with 7 updates @dependabot (#255) - Build(deps): Bump the github-actions group with 1 update @dependabot (#252) - Build(deps): Bump the production-dependencies group with 1 update @dependabot (#253) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#251) - Build(deps): Bump undici from 5.23.0 to 5.26.3 @dependabot (#248) - Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#247) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#246) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#245) - Build(deps): Bump the github-actions group with 1 update @dependabot (#244) - Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#243)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.2.0...v1.3.0

- TypeScript
Published by github-actions[bot] over 2 years ago

https://github.com/cda-tum/setup-z3 - Release 1.2.0: NodeJS v20

👀 What Changed

The action now runs on NodeJS v20.

🤖 CI

• 🔧 introduce dependabot groups @burgholzer (#232)

⬆️ Dependencies

20 changes

- ⬆️ Switching to node 20 @burgholzer (#242) - Build(deps): Bump the production-dependencies group with 4 updates @dependabot (#241) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#240) - Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#239) - Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#237) - Build(deps): Bump the github-actions group with 1 update @dependabot (#236) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#235) - Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#234) - Build(deps-dev): Bump the development-dependencies group with 1 update @dependabot (#233) - 🔧 introduce dependabot groups @burgholzer (#232) - Build(deps-dev): Bump typescript from 5.1.6 to 5.2.2 @dependabot (#228) - Build(deps-dev): Bump @typescript-eslint/parser from 6.4.0 to 6.4.1 @dependabot (#231) - Build(deps-dev): Bump eslint from 8.47.0 to 8.48.0 @dependabot (#230) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 6.4.0 to 6.4.1 @dependabot (#229) - Build(deps-dev): Bump jest from 29.6.2 to 29.6.4 @dependabot (#227) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#226) - Build(deps-dev): Bump @types/node from 20.5.0 to 20.5.1 @dependabot (#225) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 6.3.0 to 6.4.0 @dependabot (#224) - Build(deps-dev): Bump @typescript-eslint/parser from 6.3.0 to 6.4.0 @dependabot (#223) - Build(deps-dev): Bump eslint-plugin-import from 2.28.0 to 2.28.1 @dependabot (#222)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.1.1...v1.1.2

- TypeScript
Published by github-actions[bot] almost 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.1.1

👀 What Changed

🐛 Bug Fixes

• 🐛 Fix node action path in action.yml @burgholzer (#221)

⬆️ Dependencies

• Build(deps-dev): Bump @types/node from 20.4.9 to 20.5.0 @dependabot (#220)
• Build(deps-dev): Bump eslint from 8.46.0 to 8.47.0 @dependabot (#219)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.1.0...v1.1.1

- TypeScript
Published by github-actions[bot] almost 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.1.0

👀 What Changed

The action now runs on NodeJS v18. Furthermore, several dependencies got major updates.

⬆️ Dependencies

38 changes

- Build(deps): Bump @octokit/openapi-types from 16.0.0 to 18.0.0 @dependabot (#181) - ⬆️ Update npm packages @burgholzer (#218) - Build(deps): Bump @octokit/action from 6.0.4 to 6.0.5 @dependabot (#212) - Build(deps): Bump @octokit/core from 4.2.4 to 5.0.0 @dependabot (#207) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#216) - Build(deps-dev): Bump eslint-plugin-jest from 27.2.2 to 27.2.3 @dependabot (#214) - Build(deps-dev): Bump @types/node from 20.4.2 to 20.4.4 @dependabot (#210) - Build(deps-dev): Bump @typescript-eslint/parser from 5.61.0 to 5.62.0 @dependabot (#209) - Build(deps-dev): Bump @types/node from 20.3.1 to 20.4.2 @dependabot (#206) - Build(deps): Bump @octokit/core from 4.2.1 to 4.2.4 @dependabot (#200) - Build(deps): Bump semver from 6.3.0 to 6.3.1 @dependabot (#205) - Build(deps): Bump actions/setup-node from 3.6.0 to 3.7.0 @dependabot (#203) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#204) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.60.0 to 5.61.0 @dependabot (#202) - Build(deps-dev): Bump jest from 29.5.0 to 29.6.1 @dependabot (#201) - Build(deps-dev): Bump @typescript-eslint/parser from 5.60.1 to 5.61.0 @dependabot (#199) - Build(deps-dev): Bump typescript from 5.1.3 to 5.1.6 @dependabot (#198) - Build(deps-dev): Bump ts-jest from 29.1.0 to 29.1.1 @dependabot (#197) - Build(deps-dev): Bump @typescript-eslint/parser from 5.60.0 to 5.60.1 @dependabot (#196) - Build(deps-dev): Bump eslint from 8.43.0 to 8.44.0 @dependabot (#195) - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.11 to 5.60.0 @dependabot (#193) - Build(deps-dev): Bump eslint-plugin-jest from 27.2.1 to 27.2.2 @dependabot (#192) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.11 to 5.60.0 @dependabot (#194) - Build(deps): Bump @octokit/action from 5.0.5 to 6.0.4 @dependabot (#191) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#190) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.9 to 5.59.11 @dependabot (#189) - Build(deps-dev): Bump eslint from 8.42.0 to 8.43.0 @dependabot (#188) - Build(deps-dev): Bump @types/node from 20.3.0 to 20.3.1 @dependabot (#187) - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.9 to 5.59.11 @dependabot (#186) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.8 to 5.59.9 @dependabot (#184) - Build(deps-dev): Bump eslint-plugin-github from 4.7.0 to 4.8.0 @dependabot (#183) - Build(deps-dev): Bump @types/node from 20.2.5 to 20.3.0 @dependabot (#185) - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.6 to 5.59.9 @dependabot (#182) - ⬆️🪝 update pre-commit hooks @pre-commit-ci (#180) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.7 to 5.59.8 @dependabot (#176) - Build(deps-dev): Bump typescript from 5.0.4 to 5.1.3 @dependabot (#177) - Build(deps-dev): Bump eslint from 8.41.0 to 8.42.0 @dependabot (#179) - Build(deps-dev): Bump @types/node from 20.2.3 to 20.2.5 @dependabot (#178)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.0.10...v1.1.0

- TypeScript
Published by github-actions[bot] almost 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.10

👀 What Changed

🚀 Features and Enhancements

• ✨ Add release drafter @burgholzer (#175)
• ♻️ Simplify build @burgholzer (#173)

🤖 CI

• ✨ Add release drafter @burgholzer (#175)
• 🔧 update pre-commit config @burgholzer (#174)
• ♻️ Simplify build @burgholzer (#173)
• 🔧 npm cache in CI @burgholzer (#172)

⬆️ Dependencies

32 changes

- Build(deps): Bump @octokit/core from 4.2.0 to 4.2.1 @dependabot (#168) - Build(deps): Bump @octokit/action from 5.0.2 to 5.0.5 @dependabot (#171) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.6 to 5.59.7 @dependabot (#169) - Build(deps-dev): Bump eslint from 8.40.0 to 8.41.0 @dependabot (#170) - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.5 to 5.59.6 @dependabot (#164) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.5 to 5.59.6 @dependabot (#165) - Build(deps-dev): Bump @types/node from 20.1.4 to 20.2.3 @dependabot (#166) - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.2 to 5.59.5 @dependabot (#160) - Build(deps-dev): Bump @types/node from 20.1.0 to 20.1.4 @dependabot (#162) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.2 to 5.59.5 @dependabot (#159) - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.1 to 5.59.2 @dependabot (#156) - Build(deps-dev): Bump eslint from 8.39.0 to 8.40.0 @dependabot (#157) - Build(deps-dev): Bump @types/node from 18.16.3 to 20.1.0 @dependabot (#154) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.1 to 5.59.2 @dependabot (#153) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.0 to 5.59.1 @dependabot (#152) - Build(deps-dev): Bump @types/node from 18.16.0 to 18.16.3 @dependabot (#150) - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.0 to 5.59.1 @dependabot (#149) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.58.0 to 5.59.0 @dependabot (#148) - Build(deps-dev): Bump @typescript-eslint/parser from 5.58.0 to 5.59.0 @dependabot (#144) - Build(deps-dev): Bump @types/node from 18.15.11 to 18.16.0 @dependabot (#146) - Build(deps-dev): Bump eslint from 8.38.0 to 8.39.0 @dependabot (#145) - Build(deps-dev): Bump @typescript-eslint/parser from 5.57.1 to 5.58.0 @dependabot (#143) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.57.1 to 5.58.0 @dependabot (#142) - Build(deps-dev): Bump eslint from 8.37.0 to 8.38.0 @dependabot (#140) - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.56.0 to 5.57.1 @dependabot (#141) - Build(deps-dev): Bump @typescript-eslint/parser from 5.57.0 to 5.57.1 @dependabot (#139) - Build(deps-dev): Bump typescript from 5.0.3 to 5.0.4 @dependabot (#138) - Build(deps-dev): Bump @types/node from 18.15.10 to 18.15.11 @dependabot (#135) - Build(deps-dev): Bump eslint from 8.36.0 to 8.37.0 @dependabot (#133) - Build(deps-dev): Bump typescript from 5.0.2 to 5.0.3 @dependabot (#134) - Build(deps-dev): Bump @typescript-eslint/parser from 5.56.0 to 5.57.0 @dependabot (#136) - Build(deps-dev): Bump ts-jest from 29.0.5 to 29.1.0 @dependabot (#137)

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.0.9...v1.0.10

- TypeScript
Published by github-actions[bot] about 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.9: Dependency Update

What's Changed

• Build(deps-dev): bump @typescript-eslint/parser from 5.48.1 to 5.49.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/95
• Build(deps-dev): bump jest from 29.3.1 to 29.4.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/91
• Build(deps-dev): bump @vercel/ncc from 0.36.0 to 0.36.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/92
• Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.48.2 to 5.49.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/93
• Build(deps-dev): bump eslint from 8.32.0 to 8.33.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/94
• Build(deps-dev): bump typescript from 4.9.4 to 4.9.5 by @dependabot in https://github.com/cda-tum/setup-z3/pull/99
• Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.49.0 to 5.50.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/98
• Build(deps-dev): bump @typescript-eslint/parser from 5.49.0 to 5.50.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/96
• Build(deps-dev): bump @types/node from 18.11.18 to 18.11.19 by @dependabot in https://github.com/cda-tum/setup-z3/pull/97
• 🚸 Test if z3 executable exists after running the workflow by @wenkokke in https://github.com/cda-tum/setup-z3/pull/101
• :wrench: update workflows by @burgholzer in https://github.com/cda-tum/setup-z3/pull/107
• Build(deps-dev): bump eslint from 8.33.0 to 8.34.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/102
• Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.50.0 to 5.51.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/103
• Build(deps-dev): bump jest from 29.4.1 to 29.4.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/104
• Build(deps-dev): bump @types/node from 18.11.19 to 18.13.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/106
• Build(deps-dev): bump @typescript-eslint/parser from 5.50.0 to 5.51.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/105
• Build(deps-dev): bump @types/node from 18.13.0 to 18.14.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/108
• Build(deps-dev): bump @typescript-eslint/parser from 5.51.0 to 5.52.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/109
• Build(deps-dev): bump jest from 29.4.2 to 29.4.3 by @dependabot in https://github.com/cda-tum/setup-z3/pull/112
• Build(deps-dev): bump eslint-plugin-github from 4.6.0 to 4.6.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/111
• Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.51.0 to 5.53.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/116
• Build(deps-dev): bump eslint from 8.34.0 to 8.35.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/114
• Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.53.0 to 5.54.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/119
• Build(deps-dev): Bump @typescript-eslint/parser from 5.52.0 to 5.54.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/117
• Build(deps-dev): Bump @types/node from 18.14.0 to 18.14.6 by @dependabot in https://github.com/cda-tum/setup-z3/pull/118
• Build(deps-dev): Bump @types/node from 18.14.6 to 18.15.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/124
• Build(deps-dev): Bump jest from 29.4.3 to 29.5.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/122
• Build(deps-dev): Bump eslint from 8.35.0 to 8.36.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/123
• Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.0 to 5.54.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/121
• Build(deps-dev): Bump @typescript-eslint/parser from 5.54.0 to 5.54.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/120
• Build(deps-dev): Bump typescript from 4.9.5 to 5.0.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/125
• Build(deps-dev): Bump @typescript-eslint/parser from 5.54.1 to 5.55.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/126
• Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.1 to 5.55.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/128
• Build(deps-dev): Bump @types/node from 18.15.1 to 18.15.3 by @dependabot in https://github.com/cda-tum/setup-z3/pull/127
• Build(deps-dev): Bump @typescript-eslint/parser from 5.55.0 to 5.56.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/132
• Build(deps-dev): Bump @types/node from 18.15.3 to 18.15.10 by @dependabot in https://github.com/cda-tum/setup-z3/pull/131
• Build(deps-dev): Bump eslint-plugin-github from 4.6.1 to 4.7.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/129
• Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.55.0 to 5.56.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/130

New Contributors

• @wenkokke made their first contribution in https://github.com/cda-tum/setup-z3/pull/101

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1...v1.0.9

- TypeScript
Published by burgholzer over 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.8: Dependency Update

What's Changed

• Bump @typescript-eslint/parser from 5.48.0 to 5.48.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/81
• Bump ts-jest from 29.0.3 to 29.0.5 by @dependabot in https://github.com/cda-tum/setup-z3/pull/83
• Bump eslint-plugin-import from 2.26.0 to 2.27.4 by @dependabot in https://github.com/cda-tum/setup-z3/pull/84
• Bump eslint from 8.31.0 to 8.32.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/85
• Bump @typescript-eslint/eslint-plugin from 5.48.0 to 5.48.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/82
• Build(deps-dev): bump eslint-plugin-import from 2.27.4 to 2.27.5 by @dependabot in https://github.com/cda-tum/setup-z3/pull/89
• Build(deps): bump @octokit/core from 4.1.0 to 4.2.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/90
• Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.48.1 to 5.48.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/87
• Build(deps): bump @octokit/openapi-types from 14.0.0 to 16.0.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/88
• Build(deps): bump @octokit/action from 4.0.10 to 5.0.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/86

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1...v1.0.8

- TypeScript
Published by burgholzer over 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.7: Dependency Update

This minor release includes all dependency updates since the last release has been published. Most notably, this release fixes a security issue in the json5 dependency (#80).

What's Changed

• Bump eslint-plugin-jest from 27.1.4 to 27.1.5 by @dependabot in https://github.com/cda-tum/setup-z3/pull/50
• Bump @typescript-eslint/parser from 5.42.0 to 5.42.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/49
• Bump jest from 29.2.2 to 29.3.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/53
• Bump @typescript-eslint/eslint-plugin from 5.42.0 to 5.42.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/51
• Bump eslint from 8.26.0 to 8.27.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/52
• Bump eslint-plugin-jest from 27.1.5 to 27.1.6 by @dependabot in https://github.com/cda-tum/setup-z3/pull/58
• Bump eslint from 8.27.0 to 8.28.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/57
• Bump typescript from 4.8.4 to 4.9.3 by @dependabot in https://github.com/cda-tum/setup-z3/pull/56
• Bump @typescript-eslint/eslint-plugin from 5.42.1 to 5.44.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/55
• Bump @typescript-eslint/parser from 5.42.1 to 5.44.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/54
• Bump eslint from 8.28.0 to 8.29.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/59
• Bump @types/node from 18.11.9 to 18.11.13 by @dependabot in https://github.com/cda-tum/setup-z3/pull/60
• Bump @typescript-eslint/eslint-plugin from 5.44.0 to 5.46.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/62
• Bump typescript from 4.9.3 to 4.9.4 by @dependabot in https://github.com/cda-tum/setup-z3/pull/61
• Bump @vercel/ncc from 0.34.0 to 0.36.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/63
• Bump @typescript-eslint/eslint-plugin from 5.46.0 to 5.46.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/66
• Bump eslint-plugin-github from 4.4.1 to 4.6.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/68
• Bump eslint from 8.29.0 to 8.30.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/67
• Bump @types/node from 18.11.13 to 18.11.17 by @dependabot in https://github.com/cda-tum/setup-z3/pull/65
• Bump eslint-plugin-jest from 27.1.6 to 27.1.7 by @dependabot in https://github.com/cda-tum/setup-z3/pull/64
• Bump @typescript-eslint/eslint-plugin from 5.46.1 to 5.47.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/69
• Bump @typescript-eslint/parser from 5.44.0 to 5.47.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/70
• Bump @typescript-eslint/parser from 5.47.0 to 5.47.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/71
• Bump eslint-plugin-jest from 27.1.7 to 27.2.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/74
• Bump @typescript-eslint/eslint-plugin from 5.47.0 to 5.47.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/72
• Bump eslint from 8.30.0 to 8.31.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/73
• Bump @types/node from 18.11.17 to 18.11.18 by @dependabot in https://github.com/cda-tum/setup-z3/pull/75
• Bump json5 from 1.0.1 to 1.0.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/80
• Bump actions/setup-node from 3.5.1 to 3.6.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/76
• Bump @typescript-eslint/eslint-plugin from 5.47.1 to 5.48.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/77
• Bump eslint-plugin-jest from 27.2.0 to 27.2.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/78
• Bump @typescript-eslint/parser from 5.47.1 to 5.48.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/79

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1...v1.0.7

- TypeScript
Published by burgholzer over 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.6: Dependency Update

This minor release includes all dependency updates since the last release has been published. Most notably, the update of @actions/core from 1.9.1 to 1.10.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/13 should fix the deprecation warning

Warning: The set-output command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

What's Changed

• Bump ts-jest from 29.0.0 to 29.0.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/5
• Bump @octokit/openapi-types from 13.10.0 to 13.12.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/4
• Bump @types/node from 18.7.17 to 18.7.18 by @dependabot in https://github.com/cda-tum/setup-z3/pull/3
• Bump @typescript-eslint/eslint-plugin from 5.37.0 to 5.38.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/6
• Bump ts-jest from 29.0.1 to 29.0.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/8
• Bump @types/node from 18.7.18 to 18.7.21 by @dependabot in https://github.com/cda-tum/setup-z3/pull/10
• Bump @typescript-eslint/parser from 5.37.0 to 5.38.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/7
• Bump eslint from 8.23.1 to 8.24.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/9
• Bump typescript from 4.8.3 to 4.8.4 by @dependabot in https://github.com/cda-tum/setup-z3/pull/16
• Bump @octokit/openapi-types from 13.12.0 to 14.0.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/15
• Bump @typescript-eslint/parser from 5.38.0 to 5.38.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/14
• Bump actions/setup-node from 3.4.1 to 3.5.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/11
• Bump jest from 29.0.3 to 29.1.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/18
• Bump @typescript-eslint/eslint-plugin from 5.38.0 to 5.38.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/17
• Bump @types/node from 18.7.21 to 18.8.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/12
• Bump ts-jest from 29.0.2 to 29.0.3 by @dependabot in https://github.com/cda-tum/setup-z3/pull/19
• Bump @actions/core from 1.9.1 to 1.10.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/13
• Bump @types/node from 18.8.0 to 18.8.3 by @dependabot in https://github.com/cda-tum/setup-z3/pull/24
• Bump eslint-plugin-jest from 27.0.4 to 27.1.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/20
• Bump eslint from 8.24.0 to 8.25.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/21
• Bump @typescript-eslint/parser from 5.38.1 to 5.39.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/22
• Bump @typescript-eslint/eslint-plugin from 5.38.1 to 5.39.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/23
• Bump actions/setup-node from 3.5.0 to 3.5.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/25
• Bump jest from 29.1.2 to 29.2.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/26
• Bump @typescript-eslint/eslint-plugin from 5.39.0 to 5.40.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/28
• Bump eslint-plugin-jest from 27.1.1 to 27.1.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/32
• Bump @typescript-eslint/parser from 5.39.0 to 5.40.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/31
• Bump @types/node from 18.8.3 to 18.11.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/29
• Bump eslint-plugin-github from 4.3.7 to 4.4.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/33
• Bump @octokit/core from 4.0.5 to 4.1.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/27
• Bump @octokit/action from 4.0.8 to 4.0.10 by @dependabot in https://github.com/cda-tum/setup-z3/pull/30
• Bump @typescript-eslint/eslint-plugin from 5.40.0 to 5.40.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/34
• Bump eslint-plugin-jest from 27.1.2 to 27.1.3 by @dependabot in https://github.com/cda-tum/setup-z3/pull/37
• Bump @typescript-eslint/parser from 5.40.0 to 5.40.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/38
• Bump eslint from 8.25.0 to 8.26.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/36
• Bump jest from 29.2.0 to 29.2.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/35
• Bump @typescript-eslint/eslint-plugin from 5.40.1 to 5.41.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/42
• Bump jest from 29.2.1 to 29.2.2 by @dependabot in https://github.com/cda-tum/setup-z3/pull/40
• Bump @typescript-eslint/parser from 5.40.1 to 5.41.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/39
• Bump @types/node from 18.11.0 to 18.11.8 by @dependabot in https://github.com/cda-tum/setup-z3/pull/41
• Bump @typescript-eslint/parser from 5.41.0 to 5.42.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/47
• Bump @types/node from 18.11.8 to 18.11.9 by @dependabot in https://github.com/cda-tum/setup-z3/pull/46
• Bump eslint-plugin-jest from 27.1.3 to 27.1.4 by @dependabot in https://github.com/cda-tum/setup-z3/pull/45
• Bump eslint-plugin-github from 4.4.0 to 4.4.1 by @dependabot in https://github.com/cda-tum/setup-z3/pull/43
• Bump @typescript-eslint/eslint-plugin from 5.41.0 to 5.42.0 by @dependabot in https://github.com/cda-tum/setup-z3/pull/44

New Contributors

• @dependabot made their first contribution in https://github.com/cda-tum/setup-z3/pull/5

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1...v1.0.6

- TypeScript
Published by burgholzer over 3 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.5: Use GitHub API

This bugfix release switches to using the GitHub API with a corresponding token in order to avoid hitting rate limitations.

- TypeScript
Published by burgholzer almost 4 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.4: Bugfix

Forgot to update the /dist folder 🙃

- TypeScript
Published by burgholzer almost 4 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.3: Export Environment Variable

This release adds an automatic export of the environment variable Z3_ROOT to the action as a convenience feature.

- TypeScript
Published by burgholzer almost 4 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.2: Fix Re-Tag

Another small bugfix release that repairs the re-tag job that keeps the v1 tag up-to-date.

- TypeScript
Published by burgholzer almost 4 years ago

https://github.com/cda-tum/setup-z3 - Release 1.0.1: Bugfix

What's Changed

• 🔒 fix security issue and patch condition by @burgholzer in https://github.com/cda-tum/setup-z3/pull/1

New Contributors

• @burgholzer made their first contribution in https://github.com/cda-tum/setup-z3/pull/1

Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1...v1.0.1

- TypeScript
Published by burgholzer almost 4 years ago

https://github.com/cda-tum/setup-z3 - 🎉 Initial Release

This is the initial release of the "Setup Z3" action.

- TypeScript
Published by burgholzer almost 4 years ago